Tahap 1. Selimuti garis real dengan interval terbuka yang makin membesar.

Tahap 2. Ambil \(U_n=(-n,n)\) untuk \(n\in\Z^+\text{.}\)

Tahap 3. Dalam setiap subkeluarga berhingga, gunakan indeks terbesar untuk menemukan titik real yang belum terselimuti.