n≦kで成立すると仮定した場合も、
n=k+1での成立を示すとき
n=kしか使わないことはできる。
最初から一律にn≦kで仮定すると
教えたほうが、混乱しないんじゃないかな。