proof of for convex
We will prove
(1) |
The proof of the right-most inequality is similar.
Suppose (1) does not hold. Then for some ,
(2) |
This inequality is just the statement of the slope of the linesegment , being larger thanthe slope of the segment . Since isbetween and , and is continuous, this implies
(3) |
. This contradicts convexity of on . Hence,(2) is false and (1) follows.
Note that we have tacitly use the fact that and for some .