A variant of Lehmerʹs conjecture Original Research Article

Lehmerʹs conjecture asserts that τ(p)≠0 where τ is the Ramanujan τ-function. This is equivalent to the assertion that τ(n)≠0 for any n. A related problem is to find the distribution of primes p for which image. These are open problems. We show that the variant of estimating the number of integers n for which n and τ(n) do not have a non-trivial common factor is more amenable to study. In particular, we show that the number of such nless-than-or-equals, slantx is much less-thanx/logloglogx. We prove a similar result for more general cusp forms. This may be seen as a modular analogue of an old result of Erdős on the Euler phi function.