One more proof of the Erdős-Turán inequality, and an error estimate in Wigner's law by Ohad N. Feldheim and Sasha Sodin (source code)

= One more proof of the Erdős-Turán inequality, and an error estimate in Wigner's law by Ohad N. Feldheim and Sasha Sodin
{c}
{tag=Work by Ohad N. Feldheim}
{tag=Work by Sasha Sodin}
{title2=2009}
{title2=arXiv:0901.1620}

https://arxiv.org/abs/0901.1620

https://arxiv.org/pdf/0901.1620

Proposition 1 states the <Erdős-Turán inequality> for a <probability measure> on the <unit circle>, with a universal constant and normalized arc length. The finite-point version follows by taking an <empirical measure>.