>>401
その数列を表す記号として、(a_n)^∞ _n=1ってのがありました。だから正確には、
(問題)任意の連続する２項a_n,a_(n+1)の間で条件
①a_n +n=a_(n+1)　②a_nは素数∨a_(n+1)は素数
を満たす数列、(a_n)^∞ _n=1（すべての自然数nに対し第n項a_nが定義されている数列）は
存在しないことを証明せよ。となります。どうでしょう？