Infimum version of the Axiom of Completeness. Assuming the Axiom of Completeness, prove that any nonempty set of real numbers A which is bounded below has a greatest lower bound. Hint. Consider the set {−a : a ∈ A}.