1001コメント261KB

高校生のための数学の質問スレPART277

■ このスレッドは過去ログ倉庫に格納されています

0730１３２人目の素数さん

2010/10/25(月) 14:34:47

log_{10}((2^{126}+6)/7 ) = log_{10}(2^{126}+6) - log_{10}7 > 126 * 0.3010 - log_{10}7

■ このスレッドは過去ログ倉庫に格納されています