Es gibt ein b∈R mit n→∞limbn=b.
==> für alle ε>0 gibt es ein M∈N so, dass für alle n≥M gilt:
∣bn−b∣< ε
Sei ε>0 und N das Maximum von M∈N und n0∈N
Dann gilt für alle n≥N: an≥bn und ∣bn−b∣< ε
==> an≥bn und −ε<bn−b<ε
==> bn≤an und −ε+b<bn<ε+b
Also −ε+b<bn≤an<ε+b
Insbesondere −ε+b≤an. q.e.d.