proof of Jensen’s inequality
We prove an equivalent, more convenient formulation: Let be some random variable
, and let be a convex function (defined at least on a segment containing the range of ). Then the expected value of is at least the value of at the mean of :
Indeed, let . Since is convex, there exists a supporting line for at :
for some , and . Then
as claimed.