Absolute convergence implies Cauchy: Let n=1an\sum_{n=1}^\infty a_n be a series of real or complex numbers, and let sn=k=1naks_n=\sum_{k=1}^n a_k be its . If

n=1an\sum_{n=1}^\infty |a_n|

converges, then (sn)(s_n) is a Cauchy sequence; equivalently, for every ε>0\varepsilon>0 there exists NN such that for all integers m>nNm>n\ge N,

k=n+1mak<ε.\left|\sum_{k=n+1}^m a_k\right|<\varepsilon.
Remarks

This is the series form of the and is a standard route to .