Für nat. \(p\geq 1\) gilt
\(|a_{n+p}-a_n|=|\sum_{k=0}^{p-1} (a_{n+k+1}-a_{n+k})|\leq \sum_{k=0}^{p-1}|a_{n+k+1}-a_{n+k}|\leq\)
\(\sum_{k=0}^{p-1} cq^{n+k}=cq^n\cdot \sum_{k=0}^{p-1} q^k\leq cq^n\cdot \sum_{k=0}^{\infty} q^k=cq^n\cdot \frac{1}{1-q}\).
Der rechte Ausdruck ist eine Nullfolge, die nicht von \(p\) abhängt.
Damit ist \(a_n\) eine Cauchy-Folge.