p_1 = 2
p_n+1 = min{ x ; x＞p_n , [y∈N , y│x ⇒ y=1 or x] }

漸化式が多項式で表されなければならない、なんて決まりはない