Nemotron-IMO-Bench 2026 N30

Let $f$ be a nonconstant polynomial with integer coefficients and positive leading coefficient. Prove that $f(n!)$ is composite for infinitely many integers $n\geq 1$.