Solution

ID: past-exam-of-the-analytic-number-theory-and-elliptic-curves-course-of-the-university-of-oxford/2007/a/3/i/solution

The double-angle formula gives
For , the logarithm of the absolutely convergent Euler product gives
Exponentiation proves
Suppose for , of order . As , its middle factor is , the first is because the pole at one is simple, and the final factor is bounded because . The product is , contradicting the lower bound one. Therefore
This is the three-four-one zero-free-region argument specialized to the line with real part one.

New to topics? Read the docs here!