Изменения

Так как <tex> \rho(x^{(n)}, x^{(m)}) \le \rho(x^{(n)}, x) + \rho(x^{(m)}, x) </tex>, и при <tex> n, m \to \infty </tex> каждое из слагаемых в правой части стремится к <tex> 0 </tex>, то <tex> x^{(n)} </tex> сходится в себе по определению.

Пусть <tex> x^{(n)} </tex> сходится в себе. Так же, как в предыдущих доказательствах, обозначим <tex>f(t) = \frac{t}{1+t}</tex>. Так как <tex>\forall k:\ f(|x^{(n)}_k - x^{(m)}_k|) \le 2^k \rho(x^{(n)}, x^{(m)}) \to 0 </tex>, а <tex>|x^{(n)}_k - x^{(m)}_k| = \frac{1}{1 - f(|x^{(n)}_k - x^{(m)}_k|)} - 1</tex>, то <tex> x^{(n)} </tex> сходится в себе также и покоординатно.