Dengan asumsi yang sama, misalkan \(b\) suatu batas bawah bagi \(a+S\text{.}\) Buktikan bahwa \(b\leq a+\inf(S)\text{,}\) lalu simpulkan \(\inf(a+S)=a+\inf(S)\text{.}\) Rubrik: ubah \(b\) menjadi batas bawah bagi \(S\) dan gunakan sifat terbesar dari infimum.