>>305
それだとI1が式に出てこなくないですか?
帰納法は使いませんよ?