Let A be a nonempty set of the reals which is bounded below, and let -A be the set of all -x such that x is in A.
Prove inf(A) = -sup(-A)
I know there must exist an alpha such that alpha = inf (A) by the completeness axiom, implying x is greater than alpha for all x in A.
But I don't know what to do next. Thanks!