Large-Sieve-Ungleichung

Eine analytische Ungleichung und das zugehörige Werkzeug, das die Verteilung von Folgen in Restklassen durch Mittelung über Moduli kontrolliert; es liefert starke obere Schranken für Summen über Charaktere oder exponentielle Phasen und damit für die Größe gesiebter Mengen, wenn über viele Moduli gemittelt wird.