■フェルマー数の整除性(その17)
Fn=2^(2^n)+1
F24=2^(2^24)+1
===================================
F24〜2^(2^24)
log(F24)〜2^24log2/log10=16777216log2/log10=16777216・0.30103=5050445.3
10進法で5050446桁
===================================
それでは最初の1桁は?
2^(2^24)〜105050445.3=10^10105050445・10^0.3
電卓で計算したのであるが、最初の1桁が1になるのか2になるのかは微妙なところである。
10^0.30103=2
===================================