Misalkan \(S\subseteq\R\) tidak kosong dan terbatas di bawah, serta \(a\in\R\text{.}\) Jelaskan mengapa \(a+\inf(S)\) merupakan batas bawah bagi \(a+S=\{a+s\mid s\in S\}\) dan mengapa \(a+S\) mempunyai infimum. Rubrik: buktikan sifat batas bawah, ketak-kosongan, dan syarat untuk memakai aksioma kelengkapan.