Theorem 8.3.2. Verification of Exponential Probability Function. \begin{equation*} \int_0^{\infty} \lambda e^{-\lambda x} dx = 1 \end{equation*}