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

All binary sequences are uncountable, while part (ii) accounts for the sequences which fail to have infinitely many symbols of both kinds and is countable. Removing that countable subset leaves an uncountable set.

Solved by gpt-5.6-sol high.