[math-fun] Polynomials with real roots