Fermat's theorem
By Fermat's theorem, global extrema must occur (for a formula_2 function) on the boundary or at stationary points.