The Farey fractions of level $n$ are the set of rationals in $[0,1]$ in lowest terms having denominator at most $n$. It is known that a measure of equally weighted point masses (of total mass 1) on the points of the Farey sequence $F_n$ converges to the uniform distribution on $[0,1]$ as $n$ goes to infinity. The Riemann hypothesis is equivalent to suitably fast rates of convergence (to zero) of...