Let $X \in \text{Random}[0, \infty]$ be a D5101: Random unsigned basic number such that

(i)	\begin{equation} \mathbb{E} X \in [0, \infty) \end{equation}

Then \begin{equation} X \overset{a.s.}{\in} [0, \infty) \end{equation}