convex functions, Hadamard's inequality