ThmDex – An index of mathematical definitions, results, and conjectures.
F11905
Formulation 1
Let $X \in \text{Random} [-\infty, \infty]$ be a D4381: Random basic number such that
(i) \begin{equation} \mathbb{E} |X| < \infty \end{equation}
Then \begin{equation} \mathbb{P}(|X| < \infty) = 1 \end{equation}