OIM

OIM 2009 2

Para cada entero positivo $n$ se define $a_n = n + m$ donde $m$ es el mayor entero tal que $2^{2^m} \leq n2^n$. Determinar qué enteros positivos no aparecen en la sucesión $a_n$.

Solución
Regreso a OIM 2009