n=4のときの証明はわかったのですが、それがすべてのnにおいて成り立つというのが
どうやって証明されてるのかがわかりません。
やっぱり帰納法を使うんじゃないかと思うのですが、どうでしょうか？