Изменения
→Теорема о связи длины НВП и НУП
|about=
|statement=
Пусть <tex>a</tex> - последовательность перестановка чисел длины <tex>n, l</tex> - длина наибольшей возрастающей подпоследовательности (НВП), <tex>k</tex> - длина наибольшей убывающей подпоследовательности (НУП). Тогда <tex>l k \geqslant n</tex>.
|proof=
