Converxencia

Sexa {x_n} unha sucesión en X. Para cada k ÎN, sexa

A_k = { x_n, n≥k} .

Demostrade que {x_n} é de Cauchy sse lim_kÆ∞d(A_k) = 0.