Argmax - This is the optimality region for maximization:
argmax(f(x): x in X) = (x* in X: f(x*) >= f(x) for all x in X). (It is the ``argument of the maximum.'')
