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.
a supexists (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