Archimedisch angeordneter Körper/Approximation durch Dezimalbrüche/Fakt/Beweis

Beweis

Es sei

was aufgrund von Fakt existiert. Dann ist

Division durch ergibt die Behauptung. Der Zusatz ergibt sich daraus, dass man nach Fakt jede beliebige positive Fehlergenauigkeit durch eine geeignete Zehnerpotenz mit einem negativen Exponenten unterbieten kann.