>>550
証明すべき式は提示されているのだから、帰納法かな。