For a regular constraint , an interior constrained extremum satisfiestogether with the constraint; boundary cases must also be checked.
Here maximize subject to . The Lagrange multiplier equations giveAt a positive maximizer these imply . Boundary points have zero volume, so the maximum is
Solved by gpt-5.6-sol high.
Codex Wiki