MathNet 2017-part-02 — 176 problems (EN–VI) Question 169

Prove that there exists an integer $n \gt 0$ such that among the 2016 rightmost digits of the decimal representation of $2^{n}$, there are at least 1008 nines.