Pada perintah keempat latihan penutup, misalkan \(A\subseteq\R\) tak kosong dan terbatas di atas. Bangun barisan \((a_n)\) di \(A\) yang konvergen ke \(\sup(A)\text{.}\) Rubrik. Untuk setiap \(n\text{,}\) gunakan bahwa bilangan yang sedikit lebih kecil daripada supremum tidak dapat menjadi batas atas. Syarat tak kosong tersirat oleh keberadaan supremum real dan dibuat eksplisit di sini.