Pemeriksaan E.36. Tugas 25: 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: pastikan \(m-1/n>0\) serta buktikan bahwa bilangan tersebut menjadi anggota \(S\) yang lebih kecil daripada batas bawah \(m\text{.}\)