Zu (b):
"⇒":
Offenbar ist wegen an≥1+anan die Reihe
∑an eine konvergente Majorante von ∑1+anan
"⇐":
Da die rechte Reihe konvergiert, bilden ihre Glieder eine Nullfolge.
Daher gibt es zu ϵ=1/2 eine nat. Zahl N mit
0≤1+anan<1/2 für alle n≥N, d.h. an<1/2(1+an),
folglich an<1 für alle n≥N.
Damit ergibt sich an=(an+1)1+anan<2⋅1+anan
für alle n≥N.
Somit ist 2∑n≥N1+anan eine konvergente Majorante für ∑n≥Nan.