Langkah 1. Tetapkan \(t=\inf(A)\text{.}\) Untuk setiap \(n\text{,}\) cari \(a_n\in A\) dengan \(t\leq a_n\lt t+1/n\text{.}\)

Langkah 2. Tunjukkan langsung bahwa \(|a_n-t|\lt1/n\text{.}\)