[math-fun] erich friedman polynomial problem