Let A R be a non-empty set. Suppose that A is bounded above. Let U = {x R | x is an upper bound of A}, and let L = R - U. Prove that if x L and y U, then x < y.