This was another proof that I liked.
Definitions of bounds: here. How do we prove it? Any time we want to prove something about least upper bounds we’ll need to verify both conditions of the definition of a least upper bound. From the definitions page, we need to verify that \(c + \sup A\) is an upper bound and then prove that it’s the least one.
Proof
Let \(A\) be a bounded non-empty set with a least upper bound \(\sup A\). Let \(c\) be a constant. Let \(c + A\) be the set defined above. Since \(s\) is an upper bound, then we know that for every element \(a \in A\), we must have \(a \leq s\). If we add \(c\) to both sides, then
This implies that \(\sup A + c\) is an upper bound for \(A + c\). Next, we want to show \(\sup A + c\) is the least upper bound on \(A + c\). Let \(b\) be any upper bound of \(A + c\). This means that for any element in \(A + c\), we must have
We can re-write the inequality as
But this means that \(b - c\) is an upper bound for \(A\). Therefore, by the definition of a least upper bound, we must have
But we can re-write this as
This shows that \(\sup A + c\) is less than or equal to any arbitrary upper bound of \(A + c\). But this just implies that \(\sup A + c\) is the least upper bound of \(A + c\) as we wanted to show. \(\blacksquare\)