Showing that every digit occurs infinitely often as a leading digit of a power of $2$ *using topological dynamics* [duplicate]
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.
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).