Lagrange sufficiency theorem

For a convex differentiable objective with convex differentiable inequality constraints, a feasible point satisfying the Karush-Kuhn-Tucker conditions with nonnegative multipliers is a global minimizer.