Letand
be non-empty bounded subsets of
, and suppose that for all
and
, we have
.
Prove that supremum ofinfimum
.
Sinceand
are bounded there must be an infinimum and supremum.
We can see thatis not an upper bound of
since it is smaller than the least upper bound.
So clearly there is some elementand
such that
. So we have our contradiction.
Thus,.
Beautiful guidelines.![]()