Talk:Erdős–Turán conjecture