Theorem 8.3.5. Distribution function for Exponential Distribution.

\begin{equation*} F(x) = 1 - e^{-\frac{x}{\mu}} \end{equation*}

Proof.

in-context