Erdős–Turán inequality

GPTKB entity