Talk:Erdős–Turán inequality