OFFSET
1,2
COMMENTS
Polynomials P_{n}(b) are verified irreducible in Z[b] for n <= 149 with the only exception of P_{5}(b) = 1 + b + b^3 + b^5 + b^9 which admits the nontrivial factorization P_{5}(b) = (b^2 - b + 1) * (b^7 + b^6 - b^4 + b^2 + 2*b + 1) over Z[b].
Conjecture: the polynomials P_{n}(b) are irreducible in Z[b] for all but finitely many values of n.
For all but finitely many n there exists a(n) >= 2 such that P_{n}(a(n)) is prime, verified for n <= 200, with the only exceptions being n = 1 and n = 5.
LINKS
Davide Oliveri, Table of n, a(n) for n = 1..200
EXAMPLE
a(5) = 0 in fact P_{5}(b) is reducible over Z[b].
a(6) = 14 in fact P_{6}(b) = 1 + b + b^3 + b^5 + b^9 + b^11. For 2 <= b < 14, P_{6}(b) is composite, while P_{6}(14) = 4070226757031 is prime.
CROSSREFS
KEYWORD
nonn
AUTHOR
Davide Oliveri, Dec 17 2025
STATUS
approved
