ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3340 on R4876: Interval length upper bound to variance of bounded random real number

P3340

This result is an immediate consequence of R4875: Popoviciu's inequality. $\square$