extremum extremality extremal essential supremum extreme maximization essential infimum antimaximum global maximum argmax