Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-23/4/a/solution
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 23 4 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
For , the Euler product positivity for L-function nonvanishing givesIndeed the logarithm expands into terms proportional to . At primes dividing , the character terms vanish and the remaining zeta term is positive. For a nonreal character, is nonprincipal, so its L-function is entire, even if imprimitive.
If vanished to order , the product would be as : zeta has a simple pole, the last factor is bounded, and the middle factor has the asserted vanishing. The product would tend to zero, contradicting its lower bound one. This proves nonvanishing for every real , including zero.
New to topics? Read the docs here!