First, a finite form of Jensen’s inequality: for a convex function and ,

This follows by taking a random variable with for all , so that and .

Now let for , which is convex. Applying the claim,

and rearranging with monotone gives