A Partition of the Set of Permutations by the Monotone Subsequence Structure

We will study the distribution of longest upward and downward monotonic subsequences contained in sequences, or permutations of 1,2,..., n. Thereby, a famous Ramsey-type existance theorem of sequence having a specific property is refined by the precise counting technique.