(2.7.3) if the series ak converges, then the sequence ak converges to 0
For the absolute value function definition and other properties see here.
For the definitions of sequences and what it means to for a sequence to converge, see this, for subsequences see this.
For the definitions of series, and what it means to for a series to converge, see this.
For the “show the limit” template and an example, see this.
Formal Proof
Let \((a_n)\) be a sequence. We want to prove for any \(\epsilon > 0\), there exists an \(N \in \mathbf{N}\) such that
We are given that \(\sum_{n=1}^{\infty} a_n\) converges. This means that for any \(\epsilon > 0\), there exists an \(N \in \mathbf{N}\) such that
Since this is true for any \(n, m \geq N\), choose \(n = m + 1\). Therefore,
From this we can conclude that \(\lim (a_n) = 0\) as required. \(\blacksquare\)
References: