Erdős–Moser equation

GPTKB entity