For , the Euler product positivity for L-function nonvanishing gives
Indeed 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.

Articles by others on the same topic (0)

There are currently no matching articles.