Use the Completeness Axiom to prove that every nonempty set of real numbers that is bounded below has an infimum.
EXPERT ANSWER
Show that the assertion of the Heine-Borel Theorem is equivalent to the completeness axiom for the real numbers. Show that the assertion of the Nested set theorem is equivalent to the completeness axiom for the real numbers