>>707
すまん、俺アホなんだ

>>708
ありがとう。なんとかなりそうだわ

そういえば帰納法ってn=kで仮定するやつと1≦k≦nで仮定するやつがあるが具体的にどう違うんだ?