Benar. Bilangan \(\inf S\) adalah batas bawah bagi \(U\text{,}\) sehingga batas bawah terbesar \(\inf U\) memenuhi \(\inf S\leq\inf U\text{.}\)