>>659
ってか普通数学的帰納法でやるよね・・・・