Fix . Prove that for . We know that for rational and . Here, , where . This implies that is an upper bound of .

Is this correct? We want to prove this property for all reals.

Note: If is real, define to be the set of all numbers , where is rational and .