ThmDex – An index of mathematical definitions, results, and conjectures.
Variance of standard Bernoulli random boolean number
Formulation 0
Let $X \in \text{Bernoulli}(1 / 2)$ be a D3999: Standard Bernoulli random boolean number.
Then \begin{equation} \text{Var} X = \frac{1}{4} \end{equation}
Proofs
Proof 0
Let $X \in \text{Bernoulli}(1 / 2)$ be a D3999: Standard Bernoulli random boolean number.
This result is a particular case of R2483: Variance of Bernoulli random boolean number. $\square$