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 .