If $\{s_n\}$ is a Cauchy sequence, then it is convergent.

We have that it is bounded (by lemma Cauchy and Bounded ), also it has a convergent subsequence because it is bounded and by lemma Convergent condition, it is convergent.