Expected value of the smallest denominator in a random interval of fixed radius
Expected value of the smallest denominator in a random interval of fixed radius
We compute the probability mass function of the random variable which returns the smallest denominator of a reduced fraction in a randomly chosen real interval of radius [Formula: see text]. As an application, we prove that the expected value of the smallest denominator is asymptotic, as [Formula: see text], to …