Let $G_n \in \text{Geometric}(\theta_n)$ be a D4001: Geometric random positive integer for each $n \in 1, 2, 3, \ldots$ such that

(i)	\begin{equation} \forall \, n \in \{ 1, 2, 3, \ldots \} : \theta_n = \frac{1}{n} \end{equation}

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{G_n}{n} \end{equation}