単調非減少な部分列を持たないと仮定する
この時最大値が存在してその値をとる項は有限個しかない
その最終項を部分列の1番目にする
その次の項以降で同じ構成で第二項を決める
第一項>第二項
繰り返す