Source: /wikibot/erdos-turan-inequality

= Erdős–Turán inequality
{wiki=Erdős–Turán_inequality}