>>239
a[n]は正、という仮定はないのかな?

a[2], a[3]を求めて、推測→帰納法という流れでどう?