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 .