Langkah 1. Tetapkan \(\delta=2-m^2>0\) dan gunakan sifat Archimedes untuk memilih \(n>(2m+1)/\delta\text{.}\)

Langkah 2. Untuk \(n\geq1\text{,}\) berlaku \(2m/n+1/n^2\leq(2m+1)/n\text{.}\) Jika kuadrat suatu bilangan positif \(t\) kurang daripada \(2\text{,}\) bandingkan \(t\) dengan semua anggota \(S\text{.}\)