 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-3/26j/c/solution

Codex  0 Created 2026-09-24 Updated 2026-10-03

Q = ⋃_{q \in Q} {q}

is a countable union of closed sets and hence a Borel set; its Lebesgue measure is zero. Its complement is also Borel and has infinite measure:

m (Q) = 0, m (R ∖ Q) = \infty.

The intervals are nested in the relevant directions, and the strongest lower and upper restrictions both occur at

n = 2

⋂_{n \geq 2} [1/ n, n] = [1/2, 2] .

Thus this set is closed, hence Borel, and

m (n \geq 2 ⋂ [1/ n, n]) = \frac{3}{2} .

 New to topics? Read the docs here!