Weil die Folge (an) beschränkt ist, existiert A : =limsupan. Wir benutzen die Charakterisierung für limsup: Für jedes postive e liegen nur endlich viele Folgenglieder oberhalb von A+e und unendlich viele oberhalb von A-e.
Da die Reihe über die (bn) konvergiert, gilt:
rn : =i=n∑∞bi↓0
Wir nutzen die angegebene Abschätzung in folgender Weise:
∀n,m∈N : an+m−an=i=0∑m−1(an+i+1−an+i)≥−i=0∑m−1bn+i≥−rn
Damit konnen wir jetz zeigen, dass an→A. Sei e>0. Dann wählen wir
m1∈N : ∀n>m1 : an<A+e
m∈N : rm<0.5e
m2∈N : m2>m und am2>A−0.5e
Dann gilt für n>max{m1,m2}:
A−e<am2−rm2≤an<A+e