ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3596 on R5284: Expectation of a Bernoulli random boolean number
P3596
This result is a particular case of R2484: Moments of a Bernoulli random boolean number. $\square$