infimum and supremum

I'll get you started.

Let I be the infemum of S.

Then I <= s for all s in S. Also, if J <= s for all s in S, then J <= I.

But this implies -I >= -s for all s in S, i.e. -I is an upper bound for -S.

Continue.
 
Top