Karush–Kuhn–Tucker Conditions