- #1
Mr Davis 97
- 1,462
- 44
Homework Statement
Suppose that ##S## is a non-empty bounded subset of the real numbers. Show that ##\forall s \in S (\inf S \le s \le \sup S)## implies that ##\inf S \le \sup S##.
Homework Equations
The Attempt at a Solution
How do deduce this logically? All I can say is that it is obvious that, since it is always the case that ##\inf S \le s \le \sup S##, and since there exists at least one ##s## for which this is true, it must always be true, so that ##\inf S \le \sup S##. Is there any way to make this deduction more logical and rigorous?