Fissato $ a_0 \in \mathbb{N}_0 $ si definisce $ a_{n+1}:=a_n5^{-\upsilon_5(a_n)} $ se $ 5 \mid a_n $, altrimenti $ a_{n+1}:=\lfloor a_n5^{\frac{1}{2}}\rfloor $. Mostrare che la sequenza è definitivamente crescente.
(Russia 2003)
sequenza definitivamente crescente
sequenza definitivamente crescente
The only goal of science is the honor of the human spirit.