Large sieve
= Large sieve
{wiki}
The large sieve bounds how much an <exponential sum> can concentrate at separated points of the <circle group>. Its <variance form of the large sieve> also bounds simultaneous concentration in <residue classes> modulo many <primes>.