Assume the contrary, i.e. is uncountable.

Consider the sets for . The union of these sets is , so one of them, say , must contain infinitely many points; otherwise could be written as the union of countably many finite sets and would be countable, contrary to our assumption.

Now what does that say about the sum , where ?