Sí, tal $n$ existe. Primero, permítanme demostrar un lema.
Lema : Dejemos que $m>1$ y $\epsilon>0$ . Entonces existe $N$ tal que para todo $x>N$ , $$(x+\epsilon)^{\frac{m}{m-1}}-x^{\frac{m}{m-1}}>2.$$
Prueba del lema: Sea $\alpha=\frac{m}{m-1}$ . Desde $m>1$ , $\alpha>1$ . Escribir $f(x)=x^\alpha$ , $f'(x)=\alpha x^{\alpha-1}$ va al infinito como $x$ va al infinito. En particular, podemos elegir $N$ tal que $f'(x)>2/\epsilon$ para todos $x>N$ . El resultado deseado se deduce ahora por el teorema del valor medio.
Ahora utilizamos el lema con $\epsilon=1/10$ y $m=2,\dots,k$ para elegir $N$ tal que para todo $x>N$ y cualquiera de estos valores de $m$ , $$(x+\epsilon)^{\frac{m}{m-1}}-x^{\frac{m}{m-1}}>2.$$ Ahora fija un número entero $a_k>N$ y que $x_k=a_k+c/10$ . Entonces, por la desigualdad anterior, existe un número entero $a_{k-1}$ de manera que el ajuste $x_{k-1}=a_{k-1}+c/10$ tenemos $$x_k^{\frac{k}{k-1}}<x_{k-1}<x_{k-1}+1/10<(x_k+1/10)^{\frac{k}{k-1}}.$$ Elevando esto a la $(k-1)$ a potencia, esto equivale a $$x_k^k<x_{k-1}^{k-1}<(x_{k-1}+1/10)^{k-1}<(x_k+1/10)^k.$$
Tenga en cuenta también que $x_{k-1}>x_k$ y en particular $x_{k-1}>N$ . Ahora repetimos con $k-1$ en lugar de $k$ y así sucesivamente. Construimos así una secuencia de números $x_k,x_{k-1},\dots,x_2$ , todos los cuales son $c/10$ más que un número entero, satisfaciendo $$x_k^k<x_{k-1}^{k-1}<\dots<x_2^2<(x_2+1/10)^2<\dots<(x_{k-1}+1/10)^{k-1}<(x_{k}+1/10)^k.$$
Por último, podemos elegir un número entero $n$ entre $x_2^2$ y $(x_2+1/10)^2$ . Por las desigualdades anteriores, tenemos $x_m<\sqrt[m]{n}<x_m+1/10$ para $m=2,\dots,k$ por lo que el primer dígito de $\sqrt[m]{n}$ después del decimal es $c$ .