Convexity on the positive reals and implies superadditivity

Let be a convex function and . Then #m/thm/anal

and if is strictly convex,

Proof

From the definition of convexity

therefore

where the marked inequalities become strict for a strictly convex function.

#state/develop | #lang/en | #SemBr