Fixiere \(K > 0\), dann ex. ein \(N \in \mathbb{N}: |a_n| > K \) für alle \(n \geq N\).
Für \(C > 0\) sei \( \varepsilon:=\frac{1}{C}\). Es ex. ein \(M \in \mathbb{N}\) mit \(|a_n| > C\) für alle \(n \geq M\). Dann ist für alle \(n \geq \max\{N,M\}: |a^{-1}_n| < \frac{1}{C} = \varepsilon\).
Für alle \(n \in \mathbb{N}\) gilt \(|b_n| \leq S \in \mathbb{R}\). Da für \(|a_n + b_n| \geq |a_n|-|b_n| \) folgt die Aussage, da es für alle \(K >0\) ein \(N \in \mathbb{N} \) gibt mit \(|a_n| >K + S\) für alle \(n \geq N\).