>>210
そんなことないよ。数学的帰納法のステップでは、n=1から出発して、
n = k での成立を仮定するので、その段階で n=1,2,3,…,k での成立
をすべて仮定している。よって a1,a2,…,ak の値はすべて ak = k
である、としてよい。こんなことは言うまでもない。
するとその「解答」にあったという、n≦k での仮定うんぬんという
注釈が変か、あるいは質問者が何か誤解しているか、だ。