Problem

Source: Cplp Problem 6

Tags: number theory, Sequences, Divisibility



Let $(a_n)$ be defined by: $$ a_1 = 2, \qquad 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$.