>>342
あるmまでは全て式が正しいとしなければならない。その上で、mまでの式を全て正しいと
したときにそれから得られるf(m)を計算し、そのf(m)がm以上の全ての値で成立する
ことを示すんですけど？