Past exam of the integration course of the University of Oxford / 2021 / 3 / a / ii / Solution

The $2^n$ component intervals are pairwise disjoint and each has length $q_n/2^n$. Finite additivity of Lebesgue measure givesTheir endpoints do not cause overlaps, because the central gaps have strictly positive length.