Indizierte Mengenfamilie/Intervallschachtelung/Beispiel

Es sei eine reelle Zahl und es sei diejenige rationale Zahl, die sich aus allen Vorkommaziffern und den ersten Nachkommaziffern von im Dezimalsystem ergibt. Wir definieren die Intervalle

Dies sind Intervalle der Länge und es ist

Die Familie , , ist also eine Intervallschachtelung für .