Reelle Zahlen/Anordnungsaxiome/Archimedes/Folgerungen/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

(1). Es ist eine wohldefinierte, nach Fakt  (7) positive reelle Zahl. Aufgrund des Archimedes-Axioms gibt es eine natürliche Zahl mit . Dies ist nach Fakt  (6) äquivalent zu


(2). Wegen ist und daher gibt es nach (2) ein mit . Wegen (1) gibt es auch ein mit . Wegen der Archimedes-Eigenschaft gibt es ein mit . Nach Fakt  (3) gilt daher . Daher gibt es auch ein derart, dass

ist. Damit ist einerseits und andererseits

wie gewünscht.