nを正の整数とするとき2^(5^n)の桁数を求めよ。ただしlog[10](2)=0.3010とする。