I'm trying to prove that inf S = -sup(-S) where -S={-s : s is in S} and S is a nonempty subset of the Reals.

I was able to do the bounded above and below case, and the bounded below case and not above, but I having trouble with the not bounded below and bounded above and not bounded at all cases.

Help Appreciated.