Inspired by [this question](https://mathoverflow.net/questions/172826/cantor-set-intersecting-a-geometric-sequence), is there some conjecture stating that
$$
\limsup\_{n \to \infty} \frac{d\_j(2^n)}{dc(2^n)} = \frac{1}{10}
$$
where $d\_j(m)$ counts the number of $j$s in the digits of $m$,
and $dc(m)$ is just the number of digits in $m$?


Or is this false for obvious reasons? If so, what is this limit?
Is the limit same as the $\liminf$?


This can of course be stated in a more general form, where we use another number than 2, and another basis than 10. There are of course some trivial combinations where the corresponding statement is clearly false, for example, if we count binary digits in the above problem (base 2).


This is probably very hard to solve, since it is closely related to [normal numbers.](http://en.wikipedia.org/wiki/Normal_number)



Normality property of powers of integers?
At least as of 2012 this should still be an open question. If it were known to be true, then the number


$$
.2\ 4\ 8\ 16\ 32\ 64\ \cdots
$$


would be known to be simply normal in base $10$ (of course a strengthening would give normality in base $10$). Pillai conjectured that this number is normal in 1939 and according to Yann Bugeaud's book "Distribution modulo one and diophantine approximation", published in 2012, it is still open.


