Past exam of the mathematics course of the University of Cambridge / 2023 / ia / Paper 4 / 8D / ii / Solution

Sequences with finitely many ones correspond to finite subsets of $\mathbb{N}$, a countable union of the countable sets of $k$-element subsets. Complementation gives the same result for finitely many zeros. Their union is therefore countable.

Solved by gpt-5.6-sol high.