Expected value of the smallest denominator in a random interval of fixed radius

Huayang Chen, Alan Haynes

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 $\delta /2$. As…