例 5
任何数列都存在单调子列.
证
设数列为 { a n } \left\{a_{n}\right\} {
an}.
下面分两种情形来讨论:
- 若对任何正整数 k k k, 数列 { a i + n } \left\{a_{i+n}\right\} { ai+n} 有最大项. 设 { a 1 + n } \left\{a_{1+n}\right\} { a1+n} 的最大项为 a n 1 a_{n_{1}} an1, 因 { a n 1 + n } \left\{a_{n_{1}+n}\right\} { an1+n} 亦有最大项, 设其最大项为 a n 2 a_{n 2} an2, 显然有 n 2 > n 1 n_{2}>n_{1} n