Show that f convex on I implies the midpoint inequality: f ((x+y)/(2)) <= (f(x)+f(y))/(2)