does it just tautologically follow from the definitions?
1. Let be a nonempty set of real numbers which is bounded below. Let be the set of numbers , where . Prove that .
Intuitively this makes sense if you draw it on a number line. But I am not sure how to formally prove it.