Aloha :)
Schritt 1: Jede konvergente Folge \((a_n)\) ist beschränkt.
Wegen \((a_n)\to a\) gibt es ein \(n_0\), sodass \(|a_n-a|<1\) für alle \(n\ge n_0\). Daher gilt:$$|a_n|=|a+a_n-a|\stackrel{(\ast)}\le|a|+\underbrace{|a_n-a|}_{<1}<|a|+1\quad;\quad n\ge n_0$$wobei wir im Schitt \((\ast)\) die Dreiecksungleichung verwendet haben.
Mit \(S\coloneqq\max\{|a_1|, |a_2|, \ldots, |a_{n_0-1}|, (|a|+1)\}\) gilt daher \(|a_n|\le S\) für alle \(n\in\mathbb{N}\).
Schritt 2: Das Produkt zweiter konvergenter Folgen konvergiert gegen das Produkt der Grenzwerte. Formal ist also zu zeigen, dass:$$(a_n)\to a\text{ und }(b_n)\to b\quad\implies\quad (a_nb_n)\to ab$$
Nach Schritt 1 sind \((a_n)\) und \((b_n)\) beschränkt, d.h.$$|a_n|\le S_a\quad;\quad |b_n| \le S_b\quad\text{für alle }n\in\mathbb{N}$$Wir setzen \(S\coloneqq\max\{S_a,S_b\}\). Wegen der Konvergenz der Folgen gibt es zu jedem \(\varepsilon>0\) natürliche Zahlen \(n_a\) und \(n_b\), sodass$$|a_n-a|<\frac{\varepsilon}{2S}\;\;\text{für}\;\;n\ge n_a\quad;\quad |b_n-b|<\frac{\varepsilon}{2S}\;\;\text{für}\;\;n\ge n_b$$Für alle \(n>=\max\{n_a,n_b\}\) gilt dann mit der Dreiecksungleichung:$$|\,a_nb_n-ab\,|=|\,a_n(b_n-b)+(a_n-a)b\,|\stackrel{(\ast)}\le|\,a_n\,|\cdot|\,b_n-b\,|+|\,a_n-a\,|\cdot|\,b\,|$$$$\phantom{|a_nb_n-ab|}<S\frac{\varepsilon}{SM}+\frac{\varepsilon}{2S}S=\varepsilon\quad\checkmark$$Daher konvergiert die Produktfolge: \((a_n\cdot b_n)\to a\cdot b\).