Let and be non-empty bounded subsets of , and suppose that for all and , we have .
Prove that supremum of infimum .
Since and are bounded there must be an infinimum and supremum.
We can see that is not an upper bound of since it is smaller than the least upper bound.
So clearly there is some element and such that . So we have our contradiction.