>>840
つづき

そんな論法で可ならば、(再録)>>811
＜証明もどき＞
列の始まりとなるa_1は、ある自然数ｎだから a_1＝ｎで、
最小元は0又はそれ以上
自然数は、＞に対し全順序だから、列の長さはｎ+1以下で有限に過ぎない
QED
で、3行で証明終りです
この3行は、直感的理解としては、全く正しい

しかし、数学の証明としては、ちょっとツッコミどころあり
（院試として考えると、採点基準があるとして、これは書いておくべきという点があると思う）
１．降鎖列の定義は書くべき。ここから、a_1＝ｎが出る
２．「最小値原理　自然数からなる空でない集合は最小値をもつ」に触れていない
３．”a_1＝ｎ”の部分は、”a_1＝ｎ+1”も可能で、数学的帰納法によって、列の長さはｎ+1→∞に発散する
　降鎖列の定義から、必ず有限ｎを取らざるを得ず、ｎ+1→∞を考えてはいけないことの言及がない
４．なので、上記の3項の証明が、極小条件 (minimal condition) で、
　Nは最小値原理を満たす→極小条件→降鎖条件(dcc)を満たす(＝降鎖列は有限）
　を書く

本来、こういう答案であるべき
以上