Pemeriksaan E.34. Tugas 23: membentuk calon akar kuadrat.
Untuk \(S=\{t\in\R^+\mid t^2>2\}\text{,}\) buktikan bahwa \(S\) mempunyai batas bawah terbesar \(m\text{.}\) Rubrik: tunjukkan bahwa \(S\) tak kosong dan berikan satu batas bawahnya sebelum memakai kelengkapan \(\R\text{.}\)