数列は単調な部分列を持つという定理の証明を見たのですが、理解できません。

m>nならばa_m<a_nは無限個のときは理解できました。
m>nならばa_m<a_nは有限個のときについてまったくわかりません。