Beweis

Wegen der definierenden Eigenschaft für eine Dezimalbruchfolge

ist für auch

wobei wir im letzten Schritt die endliche geometrische Reihe benutzt haben. Somit ist für

Dieser Ausdruck wird in einem archimedisch angeordneten Körper beliebig klein.