Die Folge \(a_n/b_n\) konvergiert, ist also beschränkt, etwa \(|a_n/b_n|\lt K\)
für alle \(n\). Wenn \(\sum b_n\) konvergiert, also wegen \(b_n\geq 0\) sogar
absolut konvergiert, konvergiert auch \(\sum Kb_n=K\cdot \sum b_n\) absolut.
Wegen \(Kb_n\geq (a_n/b_n)b_n=a_n\) ist damit \(\sum Kb_n\) eine konvergente
Majorante von \(\sum a_n\), also konvergiert \(\sum a_n\).
Da \(\gamma>0\) ist, konvergiert auch \(b_n/a_n\) mit Limes \(1/\gamma\).
Hieraus ergibt sich die umgekehrte Implikation,
q.e.d.