Problem

Source: Kazakhstan National Olympiad (10-11).5

Tags: number theory



Given are positive integers $a, b, m, k$ with $k \geq 2$. Prove that there exist infinitely many $n$, such that $\gcd (\varphi_m(n), \lfloor \sqrt[k] {an+b} \rfloor)=1$, where $\varphi_m(n)$ is the $m$-th iteration of $\varphi(n)$.