From Wikibooks, open books for an open world
For all and for all there exists such that .
Let us define a set .
This set is non-empty (for ) and has an upper-bound (for all we get ).
Therefore, by the completeness axiom of the real numbers it has a supremum . We shall show that .
- Suppose that .
- It is sufficient to find such that :
- hence , but and so . A contradiction.
- Suppose that .
- As before, it is sufficient to find such that :
- hence , but and so . A contradiction.
Therefore .