Zu (c): Da \(b_n\) beschränkt ist, existiert ein \(K\in\mathbb R\) mit \(\vert b_n\vert< K\) für alle \(n\in\mathbb N\). Wenn \(a_n\) eine Nullfolge ist, existiert zu jedem \(\varepsilon>0\) ein \(N\in\mathbb N\) mit \(\vert a_n\vert<\frac\varepsilon K\) für alle \(n>N\). Damit gilt \(\vert a_n\cdot b_n\vert=\vert a_n\vert\cdot\vert b_n\vert<\frac\varepsilon K\cdot K=\varepsilon\). Die Folge \(\{a_n\cdot b_n\}\) ist also ebenfalls eine Nullfolge.
Ist \(a_n\) konvergent aber keine Nullfolge gilt die Aussage nicht, wie das Gegenbeispiel \(a_n=1\) und \(b_n=(-1)^n\) zeigt.