Los términos consecutivos distan \(2\). Si convergiera a \(L\), con \(\varepsilon=1\) todos los términos desde cierto \(N\) estarían a menos de \(1\) de \(L\) y entre sí a menos de \(2\): contradicción con la distancia exacta \(2\).
Una sucesión \((x_n)\) en un espacio métrico \((X,d)\) converge a \(x\in X\) si, dado cualquier \(\varepsilon>0\), existe un índice \(N\) desde el cual \(x_n\) dista de \(x\) menos que \(\varepsilon\).