L1.6 –⁠ Inequality-constrained optimization: KKT conditions as first-order conditions of optimality