Let $\langle x \rangle: \mathbb{R} \to (-1/2,1/2]$ be the periodic function with period $1$ which is $x$ for $x \in (-1/2,1/2]$. Is there some function $D(a,b)$ of real numbers $a<b$ such that, for almost all $\theta \in \mathbb{R}$ and all $a<b$, we have
$$D(a,b) = \lim\_{K \to \infty} \frac{1}{\log K} \#{\Big \{} n : \langle n \theta \rangle \in (a/n,b/n),\ 1 \leq n \leq K {\Big \}}.$$
If so, what is $D$?


I know about the [Gauss-Kuzmin distribution](http://mathworld.wolfram.com/Gauss-KuzminDistribution.html), but it wasn't clear how to me extract this from that G-K distribution .


**EDIT** After thinking a bit, the most likely guess for $D(a,b)$ is simply $b-a$. But it isn't so clear how to prove it.



Distribution of good diophantine approximations
The solution should be $b-a$. I don't know how difficult this is to prove from scratch, but I think it follows for example from work of W.M. Schmidt, see: Schmidt, Wolfgang M., A metrical theorem in geometry of numbers. Trans. Amer. Math. Soc. 95, 1960 516–529. This is also contained as Theorem 4.1 in Harman's book on metric number theory. (In this setting, the result is stated for counting $\|n \theta\| \leq \psi(n)$ for some function $\psi$, where $\| \cdot \|$ is the distance to the nearest integer, but you should be able to translate this to your question, I guess.)


