Yo también estaba pensando lo largo de las líneas de Ross Millikan comentario. El primer dígito (en base 10) de $a^n$ está determinado por la parte fraccionaria de $\log_{10}(a)$; en concreto, el intervalo de $[0,1]$ se reparte en cubos $[0,\log_{10}(2)), [\log_{10}(2), \log_{10}(3))$, etc. El primer dígito de $a^n$ $b^n$ sería el mismo de $n\log(a)$ $n\log(b)$ caen en el mismo cubo, que seguiría a la parte fraccionaria de $m\log(a/b)$ más pequeño que el más pequeño cubo para algunos $m$, lo que significa, o $m$ o $m+1$ haría el truco.
Ahora $\log_{10}(a/b)$ es irracional, excepto si $a/b$ es una potencia de 10, pero en el último caso, el resultado es obvio. Para un irracional cantidad, las partes fraccionarias son densos en la unidad de intervalo y el resultado se sigue de las consideraciones anteriores.