Erdős–Rényi random graph inequality

GPTKB entity