Hinreichende Optimalitätsbedingung

Ist ein Sattelpunkt von , dann ist ein globaler Minimalpunkt von (18.31a,b).
Sind die Funktionen f und g_i differenzierbar, dann können lokale Optimalitätsbedingungen abgeleitet werden.