Para cada entero positivo $n$ tomamos el mayor divisor $d_n$ de $n$ tal que $d_n\leq \sqrt{n}$ y definimos $a_n=\frac{n}{d_n}-d_n$. Demuestra que en la sucesion $a_1,a_2,\ldots$ todo entero no negativo aparece infinitas veces.