En este post, voy a interpretar el problema de la siguiente manera. Para cualquier entero positivo $n$, si empezamos con $n$ y realizar alguna secuencia de pulsaciones de teclas $A,B$, vamos a llegar a la quinta potencia de un número entero positivo. Cabe señalar que Chris Culter resuelto la interpretación de los cuantificadores invertido en otra respuesta.
Mantenga $n$ fijo en todo.
Lema 1. Para cualquier entero no negativo $k$ y cualquier entero $x$ en el intervalo de $[2^kn-2^k+1,2^kn]$, hay una secuencia de pulsaciones de teclas que se traduce en $x$ a partir de a $n$.
Prueba. Nos introducirá en $k$. Si $k=0$, el intervalo es sólo $\{n\}$ consta de sólo nuestro valor inicial. Por lo tanto, asumen $k>0$ y el inductivo hipótesis para $k-1$. $$2^kn-2^k+1\le x\le 2^kn\implies 2^{k-1}n-2^{k-1}+1\le\left\lceil\frac x2\right\rceil\le 2^{k-1}n$$This means $\a la izquierda\lceil\frac x2\right\rceil$ is the result of a sequence of keystrokes starting at $n$. If $x$ is even, $2\left\lceil\frac x2\right\rceil=2\frac x2=x$. If $x$ is odd, $2\left\lceil\frac x2\right\rceil-1=\frac{2(x+1)}2-1=x$.$espacio \\square$
Lema 2. Existe un entero $k\ge 0$ tal que para cualquier entero positivo $x$ satisfactorio $x^5\le 2^kn$, $$(x+1)^5-x^5\le 2^k-1.$$
Prueba. Primera $(x+1)^5-x^5=1+5x+10x^2+10x^3+5x^4\le 31x^4\le 31\left(\sqrt[5]{2^kn}\right)^4$. Desde $31x^4$ es un número entero, sólo necesitamos encontrar $k$ suficientemente grande como para que $\lfloor31(2^kn)^{4/5}\rfloor\le 2^k-1$ mantiene.
Sin embargo, si $k>5\log_2(31n^{4/5})$, luego $$31(2^kn)^{4/5}=2^{(4/5)k}(31n^{4/5})<2^{(4/5)k+(1/5)k}=2^k,$$ using $2^{(1/5)k}>31n^{4/5}$. It follows that $$(x+1)^5-x^5\le\lfloor31(2^kn)^{4/5}\rfloor\le 2^k-1.\space\square$$
Teorema. No es un entero positivo $x$ tal que $x^5$ puede ser alcanzado por una secuencia de pulsaciones de teclas de partida en $n$.
Prueba. Deje $k$ ser como en el Lema 2. Basta, por el Lema 1, demostrar que no está a la quinta potencia en el intervalo de $[2^kn-2^k+1,2^kn]$. Hay una mayor entero $x$ tal que $x^5<2^kn-2^k+1$. A continuación, $(x+1)^5-x^5\le2^k-1$, por lo que $$(x+1)^5=(x+1)^5-x^5+x^5<2^k-1+2^kn-2^k+1=2^kn.$$ Hence, $(x+1)^5$ must be within the interval $[2^kn-2k+1,2^kn]$.$espacio\\square$