Es wurde benutzt, dass für alle aus (ein abgeschlossenes Intervall, das disjunkt mit ist) und alle gilt und das ist eine feste Zahl, die nicht von und abhängt.
Das einzige, was noch fehlt, ist der Beweis, dass gilt, was aber einfach ist: wäre dieses Inf=0, dann hätten wir eine Folge aus und eine Folge natürlicher Zahlen mit . Da ein abgeschlossenes Intervall ist, hat eine konvergente Teilfolge , deren Grenzwert (nennen wir ihn z.B. ) auch in liegt. Damit konvergiert auch und zwar auch zu . Die Folge kann aber nur zu oder zu einer Zahl der Form konvergieren. Damit hätten wir oder . Beides geht aber nicht, denn liegt in und hat weder in sich noch die Zahlen .
|