The heart of this proof depends upon the fact that the set of rationals is countable.

Start by picking a rational, . Define , then pick a rational and define . For pick a rational and define .

What is the sum of the lengths of all the ?

Do these ‘cover’ the rationals?

In fact, we could make the cover as small as we wish by using .