A nice proof based on the property that each bounded subset of the reals has a surpremum can be found in this article.
Ralph
- 16.2k
- 40
- 78