Nemotron-IMO-Bench 2026 N13

Let $P$ be a non-constant monic polynomial with integer coefficients and let $a_1, a_2, \ldots$ be an infinite sequence of positive integers. Prove that there are infinitely many primes, each of which divides at least one term of the sequence $P(n)^{a_n} + 1$.