4 added 267 characters in body

It is well known that the number of rows in the semistandard Young tableaux correspondent to a two-line array via RSK is equal to the length of the longest (strictly) decreasing subsequence in the array's second line, in the case the array's columns are ordered lexicographically. Note that this statement by itself involves nothing more than the definition of Schensted's row insertion procedure (row bumping). Namely, it can be rephrased in the following way: the number of rows in $(\ldots((\emptyset\leftarrow x_1)\leftarrow x_2)\leftarrow\ldots)\leftarrow x_n$ is equal to the length of the longest decreasing subsequence in $(x_1,x_2,\ldots,x_n)$, where $\leftarrow$ is row insertion and $\emptyset$ denotes the empty tableau.

However, proofs of this fact I've come across are quite complicated in the sense that they tend to employ some more or less advanced theoretic basis. For an example see exercise 1 in §3.2 of W. Fulton's book "Young tableaux: with applications to representation theory and geometry" and the proposed solution to it. I'm looking for a short self-contained proof of the above statement considering row insertion.

Actually, I'd be more than satisfied by such a proof for the number of rows not exceeding the length of the longest decreasing subsequence. Note that the in a way dual fact of the number of columns not exceeding the length of the longest nondecreasing subsequence is nearly obvious. It may not be obvious but can certainly be proven very simply, see Schensted's original paper.

Clarification. By short I mean really short. Short enough to post as 1-2 screen long answer here without a single external reference. Once again, the motivation here is that the standard proof of the "dual" statement definitely satisfies this criterion.

3 added 149 characters in body; added 27 characters in body; deleted 12 characters in body

It is well known that the number of rows in the semistandard Young tableaux correspondent to a two-line array via RSK is equal to the length of the longest (strictly) decreasing subsequence in the array's second line, in the case the array's columns are ordered lexicographically. Note that this statement by itself involves nothing more than the definition of Schensted's row insertion procedure (row bumping). Namely, it can be rephrased in the following way: the number of rows in $(\ldots((\emptyset\leftarrow x_1)\leftarrow x_2)\leftarrow\ldots)\leftarrow x_n$ is equal to the length of the longest decreasing subsequence in $(x_1,x_2,\ldots,x_n)$, where $\leftarrow$ is row insertion and $\emptyset$ denotes the empty tableau.

However, proofs of this fact I've come across are quite complicated in the sense that they tend to employ some more or less advanced theoretic basis. For an example see exercise 1 in §3.2 of W. Fulton's book "Young tableaux: with applications to representation theory and geometry" and the proposed solution to it. I'm looking for a short self-contained proof of the above statement considering row insertion.

Actually, I'd be more than satisfied by such a proof for the number of rows not exceeding the length of the longest decreasing subsequence. Note that the in a way dual fact of the number of columns not exceeding the length of the longest nondecreasing subsequence is nearly obvious. It may not be obvious but can certainly be proven very simply, see Schensted's original paper.

2 added 18 characters in body

It is well known that the number of rows in the semistandard Young tableaux correspondent to a two-line array via RSK is equal to the length of the longest (strictly) decreasing subsequence in the array's second line, in the case the array's columns are ordered lexicographically. Note that this statement by itself involves nothing more than the definition of Schensted's row insertion procedure (row bumping). Namely, it can be rephrased in the following way: the number of rows in $(\ldots((\emptyset\leftarrow x_1)\leftarrow x_2)\leftarrow\ldots)\leftarrow x_n$ is equal to the length of the longest decreasing subsequence in $(x_1,x_2,\ldots,x_n)$, where $\leftarrow$ is row insertion and $\emptyset$ denotes the empty tableau.

However, proofs of this fact I've come across are quite complicated in the sense that they tend to employ some more or less advanced theoretic basis. For an example see exercise 1 in §3.2 of W. Fulton's book "Young tableaux: with applications to representation theory and geometry" and the proposed solution to it. I'm looking for a short self-contained proof of the above statement considering row insertion.

Actually, I'd be more than satisfied by such a proof for the number of rows not exceeding the length of the longest decreasing subsequence. Note that the in a way dual fact of the number of columns not exceeding the length of the longest nondecreasing subsequence is nearly obvious.

1