A function f(x) is said to have a maximum on a set S when the least upper bound of f(x) on S is assumed by f(x) for some x⁰ in S. Thus, f(x⁰) ≥ f(x) for all x in S.