>>373>>375 返事遅くなってすいません。n≦kとn<kはどちらでもいいんですか?どっちでもいい感じはしますが… あとその帰納法の新しいのではn<kにしないというのはすぐ分かるんですか?