A nice proof based on the property that each bounded subset of the reals has a surpremum can be found in [this article.][1]


  [1]: http://arxiv.org/abs/0901.0446