Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-103/6/a/ii/solution

Suppose an entry is bumped from column of row . If row already contains a cell in column , its entry is greater than by the strict column condition in the original near Young tableau. When is inserted into that row, the first entry greater than therefore occurs in a column at most .
If the next row is shorter than , either a bump occurs earlier or is appended in column . This also handles the final appended box. Each successive bumping position is therefore weakly to the left of the previous one. The bumping columns satisfy
This is the row-insertion bumping-path monotonicity needed to preserve the Young-diagram shape and column order.

New to topics? Read the docs here!