Misalkan \(S\subseteq\R\) tidak kosong dan terbatas di bawah, serta \(t=\inf(S)\text{.}\) Buktikan bahwa untuk setiap \(r\gt t\) terdapat \(s\in S\) dengan \(t\leq s\lt r\text{.}\) Rubrik: tunjukkan secara eksplisit kontradiksi yang timbul jika \(r\) menjadi batas bawah.