>>757
帰納法にも色々のヴァリエーションがある。
今回の場合は、n=kの仮定だけでは与えられている条件式が使いづらいので、
k≦nで(n≦kではない!)成り立つことを利用したものと考えられる。