Let $0 < a < 1$ be fixed, and integer $n$ tends to infinity. It is not hard to show that the number of integers $k$ coprime to $n$ such that $1\leq k\leq an$ asymtotically equals $(a+o(1))\varphi(n)$.
The question is: what are the best known estimates for the remainder and where are they written?


Many thanks!



distribution of coprime integers
Vinogradov, I. M. An introduction to the theory of numbers, Ch. 2, problem N 19. It gives error term $O(\tau(n))$. But direct application of inclusion-exclusion principle gives $O(2^{\omega(n)})$ (where $\tau$ is the number of divisors, and $\omega$ is the number of prime divisors. Standart solution with Mobius function also gives $O(2^{\omega(n)})$ if one take into account that $\mu(p^2)=0.$


