Misalkan \(S\subseteq\R\) tidak kosong dan terbatas di atas, serta \(t=\sup(S)\text{.}\) Buktikan bahwa untuk setiap \(r\lt t\) terdapat \(s\in S\) dengan \(r\lt s\leq t\text{.}\) Rubrik: gunakan kontraposisi dari sifat batas atas, bukan asumsi bahwa supremum harus berada di dalam \(S\text{.}\)