昨日の式は某Kさんに証明を教えてもらいました．それとは別に帰納法でできそうだなとか思っていたらそりゃできるでしょとやっぱりKさんに教えてもらいました．とりあえず帰納法回してきます．