R/Kompakte Ausschöpfung durch abgeschlossene Intervalle/Überdeckung durch offene Intervalle/Lokal endliche Intervalle/Aufgabe

Wir betrachten die kompakte Ausschöpfung , , der reellen Zahlen und die offene Überdeckung , , (es sei ). Finde eine Überdeckung von mit offenen Intervallen, die die Eigenschaften aus Fakt

(und seinem Beweis) erfüllt.