Seja um conjunto convexo e fechado.
Sejam um conjunto convexo e fechado, e um função diferenciável no ponto .