Rationale Zahlen/Archimedes-Axiom/Fakt

Zu jeder rationalen Zahl ${}q$

gibt es eine natürliche Zahl ${}n$ mit

${}q\leq n\,.$

Zum Beweis, Alternativen Beweis erstellen