Tahap 1. Carilah interval terbuka kecil yang mengisolasi setiap bilangan bulat positif.

Tahap 2. Gunakan \(U_n=(n-1/3,n+1/3)\) untuk \(n\in\Z^+\text{.}\)

Tahap 3. Tunjukkan bahwa subkeluarga berhingga hanya dapat memuat sejumlah berhingga anggota \(\Z^+\text{.}\)