Karush-Kuhn-Tucker_condition