A D5722: Random positive real number $X \in \text{Random}(0, \infty)$ is a standard exponential random positive real number if and only if \begin{equation} X \overset{d}{=} \lim_{n \to \infty} \frac{\text{Geometric}(1 / n)}{n} \end{equation}