Solution

ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2008/b/7/4/solution

Constant sequences give an injection . For the opposite bound fix an enumeration of the rational numbers and encode a sequence by
Distinct sequences differ at some coordinate ; density of the rational numbers then makes their encoded sets differ at a pair . Thus is injective. The Cartesian product is countable; for example the Cantor pairing function
is a bijection with . Consequently is equinumerous with , already equinumerous with . Apply Cantor-Schröder-Bernstein theorem to obtain

New to topics? Read the docs here!