>>211
> 数学的帰納法のステップでは、n=1から出発して、
> n = k での成立を仮定するので、その段階で n=1,2,3,…,k での成立
> をすべて仮定している。
これは違うと思うがなあ