以下の数列 a(n) を考える
「n^k + 1 が素数とならない最小の自然数をｋとするとき a(n) = k と定義する」

例えば、n=10のとき 10^1 + 1 = 11 (素数)、10^2 + 1 = 101 (素数)、10^3 + 1 = 1001 (合成数)
なので、a(10) = 3 である。
実は、これは、http://oeis.org/A102368　にある数列なのですが、nが小さいうちは取りうる値としては
1,2,3のみです。 そこで問題は、果たして、この数列の取りう上限値、あるいは条件を定めることが出
来るかどうか？ です。フェルマーの小定理とか使えますか。