Problem

Source: Kazakhstan National Olympiad 2024 (9 grade -- P6), (10-11 grade -- P5)

Tags: algebra



An integer $m\ge 3$ and an infinite sequence of positive integers $(a_n)_{n\ge 1}$ satisfies the equation \[a_{n+2} = 2\sqrt[m]{a_{n+1}^{m-1} + a_n^{m-1}} - a_{n+1}. \]for all $n\ge 1$. Prove that $a_1 < 2^m$.