Consider a sequence of positive integers a1,a2,a3,... such that a1>1 and
an+1=pan+p,
where p is the greatest prime factor of an. Prove that for any choice of a1, the sequence a1,a2,a3,... has an infinite terms that are equal between them. number theoryrecurrence relation