An almost sharp quantitative version of the Duffin-Schaeffer conjecture
We prove a quantitative version of the Duffin-Schaeffer conjecture with an almost sharp error term. Precisely, let $ψ:\mathbb{N}\to[0,1/2]$ be a function such that the series $\sum_{q=1}^\infty φ(q)ψ(q)/q$ diverges. In addition, given $α\in\mathbb{R}$ and $Q\geqslant1$, let $N(α;Q)$ be the number of coprime pairs $(a,q)\in\mathbb{Z}\times\mathbb{N}$ with $q\leqslant Q$ and $|α-a/q|<ψ(q)/q$. Lastly, let $Ψ(Q)=\sum_{q\leqslant Q}2φ(q)ψ(q)/q$, which is the expected value of $N(α;Q)$ when $α$ is uniformly chosen from $[0, 1]$. We prove that $N(α;Q)=Ψ(Q)+O_{α,\varepsilon}(Ψ(Q)^{1/2+\varepsilon})$ for almost all $α$ (in the Lebesgue sense) and for every fixed $\varepsilon>0$. This improves upon results of Koukoulopoulos-Maynard and of Aistleitner-Borda-Hauke.