erdos-moser equation