Erdős-Turán inequality (source code)

= Erdős-Turán inequality
{c}

The Erdős-Turán inequality bounds discrepancy of a finite sequence on the circle by a smoothing error and exponential sums of its low Fourier modes.