Dengan \(\delta=2-m^2\text{,}\) pilih \(n>(2m+1)/\delta\text{.}\) Maka \((m+1/n)^2<2\text{.}\) Bilangan \(m+1/n\) lalu merupakan batas bawah \(S\) yang lebih besar daripada \(m=\inf S\text{,}\) suatu kontradiksi.