Exponential cdf
From specialfunctionswiki
The exponential cumulative distribution function $F \colon [0,\infty) \rightarrow \mathbb{R}$ is given by $$F(x)=1-e^{-\lambda x},$$ where $e^{-\lambda x}$ denotes the exponential function.