Converxencia
Sexa {xn} unha sucesión en X. Para cada k ∈N, sexa
Ak = { xn, n≥k} .
Demostrade que {xn} é de Cauchy sse limk→∞d(Ak) = 0.