integrate sqrt(2)e^(-t) from 0 to inf