>>966
>>968
ありがとうございます。

I_[0], I_[1]と漸化式から帰納的に整数となることはわかったのですが、
帰納的に正というのはどう示すのでしょうか?
p,qの値によってはp^(2)*I_[2]の時点で負になってしまうと思うのですが……

(p, q) = (7, 2)のときはp^(2)*I_[2]=-2 でした