statement of the Erdos-Turan conjecture