Es muy fácil probar que cualquier secuencia convergente es de Cauchy, porque, si $x = \lim x_n$,$|x_n-x_m|<|x_n-x|+|x_m-x|$. Esos casos no nos dan más que el límite estándar de definición.
El más interesante de los casos son cuando no de inmediato se "sabe" cuál es el límite va a ser.
Deje $0<\alpha<1$. Si $f:\mathbb R\rightarrow \mathbb R$ (o $f:[a,b]\rightarrow [a,b]$ algunos $a,b$,) tal que $|f(x)-f(y)|<\alpha |x-y|$ todos los $x,y$.
Dado cualquier $x_0$, definir $x_{n+1}=f(x_n)$. A continuación, $\{x_0,x_1,...,x_n,...\}$ es fácilmente demostrado ser de Cauchy, pero es mucho menos evidente que la que converge.
(El secundario interesante efecto de este ejemplo es el límite de $x=\lim x_n$ tiene la propiedad de que $f(x)=x$. Pero podemos demostrar que $f$ sólo puede tener un "fijo" valor por nuestra condición anterior. Si $x\neq y$$f(x)=x$$f(y)=y$,$|f(x)-f(y)|=|x-y|>\alpha |x-y|$.
Por ejemplo, si $\beta$ es real, entonces $f(x)=\beta+\alpha \arctan x$ tiene esta propiedad. No es obvio lo $\{x_0,f(x_0),f(f(x_0)),...\}$ converge a, pero sabemos que converge.
Del mismo modo, si $\{b_1,b_2,...,b_n,...\}$ es convergente aumento de la secuencia de los números reales, y $\{a_1,a_2,...,a_n,...\}$ tiene la propiedad de que para todo $n$, $|a_{n+1}-a_n|\leq b_{n+1}-b_n$ a continuación, $\{a_n\}$ es fácilmente demostrado ser de Cauchy, incluso aunque tengamos ni idea de lo que converge a.