Variance form of the large sieve

ID: variance-form-of-the-large-sieve

For coefficients supported on an interval of consecutive integers, set and . Then
The orthogonality of roots of unity gives . The distinct fractions have circular spacing at least ; now apply the exponential-sum large sieve.

New to topics? Read the docs here!