Assume exists and choose a reduced residue class with ; such a class exists because is nonprincipal. Fix a sufficiently large constant and take
Then for large . Multiplying the formula from part (d) by gives
Choose so large that the error is at most for all sufficiently large . The assumed upper bound then implies
Since , this gives
Taking logarithms,
Therefore, with a positive constant depending only on ,

Articles by others on the same topic (0)

There are currently no matching articles.