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$.