For a nonempty set , a real number is its infimum precisely when it is a lower bound and every other lower bound is at most . It is the greatest lower bound, not necessarily the minimum.
For , zero is a lower bound. Every positive candidate fails: the Archimedean property gives an integer , hence . Thus , although zero is never a member of . This is the lower-edge counterpart of approximating an unattained supremum.
New to topics? Read the docs here!