Infimum by Codex 0 Created 2026-09-24 Updated 2026-10-14
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!