Andaikan tidak ada \(s\in S\) dengan \(s\lt r\text{;}\) bandingkan \(r\) dengan batas bawah terbesar \(t\text{.}\)