设表示以作为最后项的最长单调递增子序列的长度，那么，如果在前面有项使得如果，那么一定有：