Enunciado
Seja
um espaço de medida,
uma função mensurável,
uma função mensurável não-negativa e não decrescente. Então:

Um caso particular de especial interesse acontece quando substituímos
por
e tomamos
como
:

Se
representa uma distribuição de probabilidades com média
e desvio padrão
então:

Demonstração
Defina
e seja
a função indicadora de
em
. Então:

E, portanto:

E o resultado segue dividindo a desigualdade obtida por
.