>>730
自己修正

log_{10}(2^{126}/8 )　＜　log_{10}((2^{126}+6)/7 ) ＜　log_{10}(2^{127})/4 )
より
0.3010*123　＜　log_{10}((2^{126}+6)/7 ) ＜　0.3010*125

この位荒い評価しても桁が変わらない様に問題を作ってる。