MathNet 2022-part-02 — 197 bài (EN–VI) Câu hỏi 62

Với mỗi số nguyên không âm $i$, ký hiệu $d_i$ là chữ số đầu tiên của số $2^i$. Cho $n$ là một số nguyên dương. Chứng minh rằng tồn tại một chữ số khác không xuất hiện trong bộ $(d_0, d_1, \dots, d_{n-1})$ ít hơn $\frac{n}{17}$ lần.