For , choose the uniform partition of an interval into pieces and its midpoint tags
Their arithmetic mean is exactly . Apply the given Jensen inequality with equal weights :
Multiplying by gives a midpoint Riemann sum on the left. Its mesh of a partition is , so the Riemann sum convergence theorem gives
For the equality is immediate. Together with part i, this is the Hermite-Hadamard inequality with the directions appropriate to a concave function.
The stated weighted inequality is the Jensen inequality for a concave function. Assume ; if , both sides of the required inequality are zero. Write with . Applying the weighted inequality at the two endpoints gives
Thus the affine function joining the endpoint values lies below . By monotonicity of the Riemann integral,
This is the lower bound in the Hermite-Hadamard inequality for a concave function.