Past exam of the mathematics course of the University of Cambridge / 2021 / ia / Paper 4 / 8E / b / ii / Solution

$A$ is uncountable. For each binary sequence $({\epsilon }_j)$, defineThis is a nondecreasing function, and different binary sequences give different functions, so the uncountable set of binary sequences injects into $A$.

$B$ is countable. Every nonincreasing sequence of positive integers can decrease only finitely many times and is therefore eventually constant. Such a sequence is specified by a finite sequence of positive integers, and the set of all finite integer sequences is a countable union of countable sets. Hence $B$ is countable.

Solved by gpt-5.6-sol high.