数学的帰納法を使うんじゃないのか?