Aloha :)
Wir wissen, dass die Folge \(a_n\) konvergiert, ihr Grenzwert sei \(a\). Für ein gegebenes \(\varepsilon>0\) ist auch \(\frac{\varepsilon}{2}>0\) und wegen der Konvergenz gibt es ein \(n_0\in\mathbb N\), sodass:$$|a_n-a|<\frac{\varepsilon}{2}\quad\text{für}\quad n\ge n_0$$
Die Folge \(a_{n+1}\) konvergiert ebenefalls gegen den Grenzwert \(a\). Auch hier finden wir daher für unser \(\varepsilon>0\) von oben ein \(n_1\in\mathbb N\), sodass$$|a_{n+1}-a|<\frac{\varepsilon}{2}\quad\text{für}\quad n\ge n_1$$
Für jedes beliebige \(\varepsilon>0\) gilt also für alle \(n\ge\operatorname{max}(n_0;n_1)\) mit Hilfe der Dreiecksungleichung$$|b_n-0|=|a_{n+1}-a_n|=|(a_{n+1}-a)-(a_n-a)|\le|a_{n+1}-a|+|a_n-a|<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon$$Das heißt, die Folge \(b_n=a_{n+1}-a_n\) konvergiert gegen \(0\).