ThmDex – An index of mathematical definitions, results, and conjectures.
F11198
Formulation 1
Let $X \in \text{Random}(\mathbb{R})$ be a D3161: Random real number such that
(i) $[a, b] \subset \mathbb{R}$ is a D544: Closed real interval
(ii) \begin{equation} a \overset{a.s.}{\leq} X \overset{a.s.}{\leq} b \end{equation}
Then \begin{equation} \mathbb{E} X \in [a, b] \end{equation}