>>678
こう、なんっていうか、n=kのときだけじゃだめな問題がありますよね？
一個だけじゃなくてkまで（mまで？）のnは全部成り立つことにしとかないと解けない問題が。
仮定の書き方が分からないので質問もすごいしにくいんですが・・・。

>>677
mを自然数として、k≦mとなる自然数kについて
ｆ(k)=kが成り立つと仮定する。f(k+1)=・・・

で大丈夫でしょうか？
（普段の慣れ的な話で変数はkにしたい・・・）