Convexity on the positive reals and π ( 0 ) β€ 0 implies superadditivity
Let
and if
Proof
From the definition of convexity
π ( π‘ π₯ ) β β€ π‘ π ( π₯ ) + ( 1 β π‘ ) π ( 0 ) β€ π‘ π ( π₯ ) therefore
π ( π ) + π ( π ) = π ( ( π + π ) π π + π ) + π ( ( π + π ) π π + π ) β β€ π π + π π ( π + π ) + π π + π π ( π + π ) = π ( π + π ) where the marked inequalities become strict for a strictly convex function.