Es ist \(\frac{b_{n+1}}{a_{n+1}}\leq\frac{b_n}{a_n}\) für alle \(n\in\mathbb{N}\).
Die Folge der positiven Zahlen \(b_n/a_n\) fällt also monoton.
Ist \(K=b_0/a_0\), so gilt daher \(b_n/a_n\leq K\), also \(b_n\leq K\cdot a_n\).
\(\sum a_n\) konvergiert. Daher ist \(K\cdot\sum a_n=\sum K\cdot a_n\) eine
konvergente Majorante für \(\sum b_n\). Folglich konvergiert \(\sum b_n\).