Demostrar que para cada $n \in \mathbb N$ existen números naturales $a_1<a_2<...<a_n$ tales que $\phi(a_1)>\phi(a_2)>...>\phi(a_n)$.