int_{0}^{\infty} e^{-ax} dx