Variance form of the large sieve
ID: variance-form-of-the-large-sieve
For coefficients supported on an interval of consecutive integers, set and . ThenThe 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!