Let be differentiable.
Then is Convex Function if and only if
for all
Proof:
Let be convex.
Suppose .
where
Convex:
Take limit as :
Now suppose
Set convex. Use
The other direction
Let
Using first-order condition
Weighted sum completes.
Minimum
Note that if for a convex function , then is the minimum.