Lagrange sufficiency theorem

Given a function and a constrained problem:
” Minimize s.t. and ”
Define Lagrangian:

Also define
If there is a point s.t. (is feasible) and:

then is the solution to the original problem.

Proof

Just calculate:

Thus is optimal.