Sea $a_1=2$ y para cada entero positivo $n$ se define a $a_{n+1}$ como el menor entero positivo mayor a $a_n$ tal que ademas tiene mas divisores que $a_n$. Demuestra que solo puede suceder $2a_{n+1}=3a_n$ para un numero finito de valores de $n$.