Past exam of the mathematics course of the University of Cambridge / 2022 / ia / Paper 4 / 8F / b / i

List pairs $(m,n)\in {\mathbb{N}}^2$ by increasing value of $m+n$, and within each diagonal by increasing $m$:Every pair occurs after finitely many earlier diagonals. More explicitly, the Cantor pairing functionis an injection ${\mathbb{N}}^2\to \mathbb{N}$. Hence $\mathbb{N}\times \mathbb{N}$ is countable.