local minimum global maximum global minimum maximization maximum extremum antimaximum lim sup limit maxmin