後編です。数列a1,...,anがa1<...<anのときこれに後ろからd(d≦n)個 ' をつけたものは、その不等号を変えません。つまりa1<a2<...<a(n-d)<a(n-d+1)'<...<an'これは、a<bなら、a'<b'であることと、a(n-d)<a(n-d+1)<a(n-d+1)'であるからです。「」様主催の演習問題バトルの視聴者向け問題の答えとだれか様のその応用問題の答えの前半部分です。
http://www.nicovideo.jp/watch/sm43081120