Untuk \(t=\inf(A)\text{,}\) pilih \(a_n\in A\) dengan \(t\leq a_n\lt t+1/n\text{.}\) Maka \(a_n\to t\text{.}\)