把“随机正整数”严格化为 n 在 {1,2,…,N} 上均匀,求 N→∞ 的极限。
2n 的首位为 1 当且仅当存在整数 k 使
10k<2n<2⋅10k.
取常用对数得
k<nlog102<k+log102.
当 N→∞ 时,{nlog102} 在 [0,1) 上等分布(因为 log102 无理),因此上述不等式成立的概率等于区间长度 log102。
所以所求极限概率为
log102≈0.3010.
英文解析
10k<2n<2⋅10k.
k<nlog102<k+log102.
log102≈0.3010.