Falls der Grenzwert ist, dann gibt es ein , sodass
Das heißt, auch konvergiert gegen . Da gilt .
Fall 2: Sei
Falls der Grenzwert von tatsächlich sein sollte, dann muss eine Nullfolge sein. Mit Proposition 13.4.6 werden wir zeigen, dass das tatsächlich der Fall ist.
Hierzu würden wir gerne nach oben gegen eine Nullfolge abschätzen.
Für alle ==== gilt:
Das ist genau die Form, die Proposition 13.4.6 von uns erwartet. Jetzt müssen wir nur noch zeigen, dass eine Nullfolge ist.