Let denote the set of numbers such that there exist infinitely many
rationals , with p and q coprime, with the property
. Show that has measure 0.
I think I should use the Borel Cantelli Lemma for this, however I am struggling to think of a suitable set An so that limsupAn= . Can you help me try to find a suitable set?