Construct a sequence with elements in S such that all terms are different. This should be possible because S is infinite. Now, because this sequence is bounded, it must have a convergent subsequence which is non-constant.

Hence, it follows that S' is non-empty.

]]>