Theorem 8.4.7. Verify Gamma Probability function.

\begin{equation*} \int_0^{\infty} \frac{x^{r-1} e^{-x/ \lambda}}{\Gamma(r) \lambda^r} dx = 1 \end{equation*}

Proof.

in-context