Wenn a< 0 müsste es zu einem Widerspruch zur Voraussetzung führen.
In der Tat: Angenommen a < 0 Dann ist |a| / 2 ein positives Epsilon.
Und es gibt ein N , so dass in der Umgebung von a mit Radius ε
für alle n > N sämtliche Folgenglieder an liegen. In dieser
Umgebung liegen aber nur negative Zahlen.
(Nämlich von 1,5a bis 0,5a. ) Widerspruch,
da alle an≥0.