the Completeness Axiom guarantees that, for any nonempty set of real numbers S that is bounded above, a sup
exists (in contrast to the max, which may or may not exist (see the examples above). An analogous property holds for inf S:
Any nonempty subset of R that is bounded below has a greatest lower bound.
 exist