A nice proof based on the property that each bounded subset of the reals has a supremum can be found in [this article.][1] [1]: https://arxiv.org/abs/0901.0446