无理数

2 的 n 次方能否包含任意有限十进制数字串？本文先用 Python 暴力搜索首次出现位置，再用对数前缀搜索提高效率，并从 log10(2) 的无理性与小数部分稠密性解释背后的数学结论。