7 Неубывающие или невозрастающие подпоследовательности

Если в последовательности более mn чисел, то в ней есть неубывающая подпоследовательность из m + 1 числа или невозрастающая подпоследовательность из n + 1 числа.