Starting digits of 2^n

Question

Prove that for any finite sequence of decimal digits, there exists an $n$ such that the decimal expansion of $2^n$ begins with these digits.

Answer 1

Take $\log_{10} (2^n) = n \log_{10} 2$, note that $\log_{10} 2$ is irrational, and use the equidistribution theorem (or prove what you want directly using the pigeonhole principle).