OMCPLP 2015 Problem 6

Let $(a_n)$ be defined by: $$a_1 = 2, a_{n+1} = a_n^3 - a_n + 1$$ Consider positive integers $n,p$ , where $p$ is an odd prime. Prove that if $p | a_n$ , then $p > n$ .