Template:Did you know nominations/Erdős–Moser equation