Suppose that S is a nonempty set of real numbers and that theta is an upper bound of S. Prove that the following conditions are equivalent:

(1) We have theta = Sup S.

(2) There exists a sequence (X sub n) in S such that (X sub n) approaches theta as n approaches infinity.