Zu (b):
"\(\Rightarrow\)":
Offenbar ist wegen \(a_n\geq \frac{a_n}{1+a_n}\) die Reihe
\(\sum a_n\) eine konvergente Majorante von \(\sum \frac{a_n}{1+a_n}\)
"\(\Leftarrow\)":
Da die rechte Reihe konvergiert, bilden ihre Glieder eine Nullfolge.
Daher gibt es zu \(\epsilon=1/2\) eine nat. Zahl \(N\) mit
\(0\leq \frac{a_n}{1+a_n}< 1/2\) für alle \(n\geq N\), d.h. \(a_n\lt 1/2(1+a_n)\),
folglich \(a_n\lt 1\) für alle \(n\geq N\).
Damit ergibt sich \(a_n=(a_n+1)\frac{a_n}{1+a_n}\lt 2\cdot \frac{a_n}{1+a_n}\)
für alle \(n\geq N\).
Somit ist \(2\sum_{n\geq N}\frac{a_n}{1+a_n}\) eine konvergente Majorante für \(\sum_{n\geq N} a_n\).