An exact formula for Erd\H{o}s'problem 1005
In 1943, Erd\H{o}s considered the minimum number $f(n)$ of terms between two fractions in the Farey sequence of order $n$ whose numerators and denominators are oppositely ordered. Determining the constant $c$ in $f(n)=(c+o(1))n$ is known as Erd\H{o}s Problem 1005. Recently, Cipollini solved this asymptotic problem by p...