Past exam of the mathematics course of the University of Cambridge / 2019 / ia / Paper 4 / 6E / a

The inclusion-exclusion principle states that for finite sets $A_1,\dots ,A_k$,For each prime $p\mid n$, exclude pairs whose two coordinates are divisible by $p$. For a set of distinct prime divisors $p_1,\dots ,p_j$, exactly $n^2/(p_1\cdots p_j{)}^2$ pairs have both coordinates divisible by their product. Inclusion-exclusion therefore gives