Redirecting to Karush–Kuhn–Tucker conditions