ThmDex – An index of mathematical definitions, results, and conjectures.
F6590
Formulation 0
Let $G \in \text{Gaussian}(0, \sigma)$ be a D210: Gaussian random real number.
Then \begin{equation} \mathbb{E} |G| = \sigma \sqrt{\frac{2}{\pi}} \end{equation}