use the completeness axiom to prove that every nonempty set of real numbers E that is bounded below has an infimum and that Inf E= sup {-x: |x∈E}