Hello Codeforces, recently, there was a contest on CSAcademy named "FiiCode 2021 Round 2" and there was a task "Clown Fiesta", in a editorial for the task, there were lines such like:

If we take a sequence, where $$$a_0 = m$$$, $$$a_1 = \varphi (a_0)$$$, $$$a_2 = \varphi (a_1)$$$, $$$...$$$, $$$a_k = 1$$$ and $$$m$$$ is prime number less than $$$10^9$$$, then $$$k$$$ will be not greater than $$$log m$$$. Can someone prove it?