MathDB
IMO's Hojoo Lee vs. USAMO's Harazi

Source: USAMO 2006, Problem 3, proposed by Titu Andreescu and Gabriel Dospinescu

April 20, 2006
algebrapolynomialmodular arithmetic

Problem Statement

For integral mm, let p(m)p(m) be the greatest prime divisor of m.m. By convention, we set p(±1)=1p(\pm 1) = 1 and p(0)=.p(0) = \infty. Find all polynomials ff with integer coefficients such that the sequence {p(f(n2))2n}n0 \{p \left( f \left( n^2 \right) \right) - 2n \}_{n \geq 0} is bounded above. (In particular, this requires f(n2)0f \left (n^2 \right ) \neq 0 for n0.n \geq 0.)