MathDB
NT sequence

Source: Cplp Problem 6

July 15, 2017
number theorySequencesDivisibility

Problem Statement

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