Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-150/4/e/solution

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 ,

New to topics? Read the docs here!