¿Por qué no llevar a cualquier lugar?
\begin{aligned}
\frac{a_{n+1}}{a_n} &= \frac{\frac{2^{(n+1)^{1.001}}}{(n+1)!}}{\frac{2^{n^{1.001}}}{n!}} \\
&= \frac{2^{(n+1)^{1.001}}}{(n+1)2^{n^{1.001}}}
\end{aligned}
Tomar el logaritmo de ambos lados.
\begin{aligned}
\log\left(\frac{a_{n+1}}{a_n}\right) &= \log\left(\frac{2^{(n+1)^{1.001}}}{(n+1)2^{n^{1.001}}}\right) \\
&= \log\left(2^{(n+1)^{1.001}}\right) -\log\left(2^{n^{1.001}}\right) - \log\left(n+1\right) \\
&= (n+1)^{1.001}\log\left(2\right) - n^{1.001}\log\left(2\right) - \log(n + 1)
\end{aligned}
Dividir ambos lados por $\log(2)$.
\begin{aligned}
\log_2\left(\frac{a_{n+1}}{a_n}\right) &= (n+1)^{1.001} - n^{1.001} - \log_2(n + 1)
\end{aligned}
Ahora, tenemos una nueva función de $f(n)$ para el cual se cumple lo siguiente:
$$
f(n) = (n+1)^{1.001} - n^{1.001} - \log_2(n + 1)
$$
$$
\lim_{n \to \infty}f(n) > 0 \implica 2^{n^{1.001}} > n!\\
\lim_{n \to \infty}f(n) < 0 \implica 2^{n^{1.001}} < n!
$$
Vamos a romper esta función en dos partes:
$$
f(n) = (n+1)^{1.001} - \left(n^{1.001} + \log_2(n + 1)\right)
$$
Ahora, vamos a repetir el proceso:
$$
\lim_{n \to \infty} \frac{(n+1)^{1.001}}{\a la izquierda(n^{1.001} + \log_2(n + 1)\right)} > 1 \implica \lim_{n \to \infty}f(n) > 0
$$
Aquí, simplemente podemos decir que el grado más alto de término del numerador es mayor que el del denominador, por lo que el límite va a $\infty$. Por lo tanto, siguiendo la cadena de consecuencias de la copia de seguridad, nos encontramos con $2^{n^{1.001}} > n!$. Si has seguido ese tren de pensamiento, que, en efecto, podría llegar a la respuesta.