MathDB
Perfect square in sequence

Source: 2020 CMO P5

November 27, 2019
number theoryPerfect Square

Problem Statement

Given any positive integer cc, denote p(c)p(c) as the largest prime factor of cc. A sequence {an}\{a_n\} of positive integers satisfies a1>1a_1>1 and an+1=an+p(an)a_{n+1}=a_n+p(a_n) for all n1n\ge 1. Prove that there must exist at least one perfect square in sequence {an}\{a_n\}.