Archimedisch angeordneter Körper/Rationale Zahlen liegen dazwischen/Fakt/Beweis/Aufgabe/Lösung


Wegen ist und daher gibt es nach Fakt ein mit . Nach Fakt gibt es auch ein mit

und ein mit

Daher gibt es auch ein derart, dass

ist. Damit ist einerseits

und andererseits

wie gewünscht.