>>460
jlog2(10)≦i<jlog2(10)+1を満たす整数iはjに対して必ず1つ存在するので
2^nがm桁の数とすると{1,2,4...,2^n}にはm個の最高桁が1となる数が存在する
この確率はm/(n+1)=ceil(nlog10(2)+1)/(n+1) ここでceil(x)はx以上の最小の整数