Every nonprincipal Dirichlet character modulo the prime is primitive, so its finite Fourier coefficients have modulus one off zero; the coefficient at zero is zero by character orthogonality. Fourier inversion theorem gives
The finite geometric series gives
The printed hint omits from the exponential; its literal constant summand would not obey the bound for arbitrary . The geometric-series calculation proves the needed estimate independently. Pairing with gives
The last sum is a harmonic number. This proves the Pólya–Vinogradov inequality uniformly in and ; complete blocks of length also vanish by Orthogonality of Dirichlet characters.

Articles by others on the same topic (0)

There are currently no matching articles.