(Jensen inequality) If
and
for a convex function
then

Proof

For a simple
r.v.
we have
hence the statement is a consequence of the definition of convexity. For
general
the statement follows by approximation of
by a sequence of simple r.v.
and by the proposition (
Dominated
convergence theorem
).