Da \(a_n\) beschränkt ist, existiert eine Zahl \(K\in\mathbb R\) mit \(\vert a_n\vert< K\) für alle \(n\in \mathbb N\). Da \(b_n\) gegen unendlich konvergiert, ist die Folge insbesondere nicht nach oben beschränkt. Sei nun \(\epsilon>0\) vorgegeben. Es existiert eine Zahl \(N\in\mathbb N\) mit \(b_n>\dfrac K\epsilon\) für alle \(n>N\). Es folgt \(\left\vert\dfrac{a_n}{b_n}\right\vert< K\cdot\dfrac\epsilon K=\epsilon\). Daraus folgt die Behauptung.
Wir bezeichnen die (obere) Schranke von |a(n)| mit M. Sei also \( \epsilon \gt 0 \).
Es existiert ein \( N \) so, dass \( |b(n)| \gt \epsilon M \quad \forall n \gt N\).
Damit ist \( \frac{a(n)}{b(n)} \lt \frac{M}{\epsilon M} = \epsilon \quad \forall n \gt N \)
