Moderator Note: this is an open problem on brilliant.org
Suppose $f$ is a polynomial with integer coefficients, such that for all non-negative integers $n$ the $n$-th Fibonacci number $u_n$ divides $f(u_{n+1})$. Find the smallest possible positive value of $f(4)$.