Dejarε>0 yN∈N ser tal que(∀n≥N)|a−an|<ε2. Entonces para cualquierm,n≥N,\[\left|a_{n}-a_{m}\right| \leq\left|a...Dejarε>0 yN∈N ser tal que(∀n≥N)|a−an|<ε2. Entonces para cualquierm,n≥N,|an−am|≤|an−a|+|a−am|<ε2+ε2=ε. Por lo tanto⟨an∣n∈N⟩ es una secuencia de Cauchy.