MathDB
sequence involving rad(x)

Source: IMOC 2020

September 4, 2020
IMOCnumber theoryprime numbers

Problem Statement

<spanclass=latexbold>N3:</span><span class='latex-bold'>N3:</span> For any positive integer nn, define rad(n)rad(n) to be the product of all prime divisors of nn (without multiplicities), and in particular rad(1)=1rad(1)=1. Consider an infinite sequence of positive integers {an}n=1\{a_n\}_{n=1}^{\infty} satisfying that \begin{align*} a_{n+1} = a_n + rad(a_n), \: \forall n \in \mathbb{N} \end{align*} Show that there exist positive integers t,st,s such that ata_t is the product of the ss smallest primes. Proposed by ltf0501