Considerar la secuencia de
$$f_1=x^2+1$$
$$f_{n+1}=(f_n)^2+1$$
de polinomios sobre los enteros.
¿Es irreducible de $f_n$ $\mathbb Q[x]$ % todo $n\ge 1$?
PARI/GP, me enteré de hasta que grado $4\ 096$, todos los polinomios son irreducibles $\mathbb Q[x]$. Obviamente, los polinomios no tienen raíces reales y son todos uniformes. ¿Alguna idea?