No, that's not correct. You don't get to just assume that . For example is a sequence converging to , which is neither an upper nor lower bound of the sequence.

Recall that by definition iff for each there is such that if then . So just notice that there are infinitely many elements in , and the proof is complete.