[math-fun] Erdos-Turan conjecture