求助大佬。
怎样严格证明或证伪如下命题:
对于任意 a∈N∗a \in N^{\ast}a∈N∗,当 a>16a > 16a>16 时,必定存在一个数 kkk,使得 (2a)10(2^a)_{10}(2a)10 的第 kkk 位为 111 或 222 或 444 或 888。