Tahap 1: ambil \(q\in\Q\) dan \(r\gt0\text{.}\) Tahap 2: pilih \(n\in\Z^+\) cukup besar sehingga \(\sqrt2/n\lt r\text{,}\) lalu periksa \(q+\sqrt2/n\text{.}\)