Fermat number
フェルマー数 の最大素因数を とすると