First-order condition

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.