ThmDex – An index of mathematical definitions, results, and conjectures.

Result R5008 on D4381: Random basic number
Subresult of R3589: Random basic number almost surely finite if first absolute moment is finite

Random unsigned basic number almost surely finite if expectation is finite

Formulation 0

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

(i)	\begin{equation} \mathbb{E} X < \infty \end{equation}

Then \begin{equation} X \overset{a.s.}{<} \infty \end{equation}

Proofs

Proof 0

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

(i)	\begin{equation} \mathbb{E} X < \infty \end{equation}