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!