Pemeriksaan E.35. Tugas 24: menyingkirkan kasus \(m^2<2\).
Andaikan \(m^2<2\text{.}\) Pilih \(n\in\Z^+\) sehingga \((m+1/n)^2<2\text{,}\) lalu jelaskan kontradiksinya. Rubrik: buat pilihan kuantitatif untuk \(n\) dan buktikan bahwa \(m+1/n\) menjadi batas bawah \(S\) yang lebih besar daripada \(m\text{.}\)