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?