#math au?

[7phanthony8]

"... Hah, A has a least upper bound, but no maximum!

We can just pick a0 out of A and then a1 greater than a0 out of A.

And a2 greater than a1 and so on.

That's a sequence in A, strictly monotonic increasing and bounded.

Thus, a convergent sequence in your near random Set, Hugo!"