Large Sieve

An analytic inequality and associated toolkit that controls the distribution of sequences in residue classes by averaging over moduli; it yields strong upper bounds for sums over characters or exponential phases and therefore for sizes of sifted sets when averaged across many moduli.