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.
Thus, .
Beautiful guidelines.