Erdős–Turán_inequality loading ...