Karush–Kuhn–Tucker_conditions