Problem

Source: 2023 Mathematics Regional Olympiad of Mexico West P1

Tags: number theory, divisor



For every positive integer n we take the greatest divisor d of n such that dn and we define an=ndd. Prove that in the sequence a1,a2,a3,..., any non negative integer k its in the sequence infinitely many times.