Pilih \(n>\max\{2m/(m^2-2),1/m\}\text{.}\) Maka \(0<m-1/n<m\) dan \((m-1/n)^2>2\text{.}\) Jadi \(m-1/n\in S\text{,}\) bertentangan dengan \(m\) sebagai batas bawah \(S\text{.}\)