>>107
m<m'だからそれでもいいのではないでしょうか

やはり
「自然数の無限列は必ず広義単調増加な部分列が取れる」
が鍵なんですかね
>>105はそれをn回繰り返すだけで良い、ということですよね