〔問題〕
　k･2^n + 1 （k,nは自然数）の形の素数は無限に存在するか？



フェルマー数 F_n = 2^(2^n) + 1 の因数は k･2^(n+2) + 1　(k≧3) の形をしている(Lucas)。
フェルマー数はどの二つも互いに素である。

http://メモ.jp/dictionary/D1007/364.html