ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F10638 on R4583:
F10638
Formulation 0
Let $X \in \mathsf{Random}[0, \infty)$ be a D5452: Random unsigned real number such that
(i) \begin{equation} \mathbb{E} X < \infty \end{equation}
Let $\lambda \in (0, \infty)$ be a D5407: Positive real number.
Then \begin{equation} \mathbb{P}(X \geq \lambda) = o(\lambda^{-1}) \end{equation}