Well...this is so easy...it's hard. I'm not entirely sure I know a good way of saying this. Suppose that there existed some such that . Then, since we have that which is clearly a contradiction.

Now, since has an upper bound we see that (e.g. ), is bounded from above, and that ...therefore exists! ta-da!