MathLabs

Problem 6

A permutation (x1,x2,…,x2n)(x_1,x_2,\ldots,x_{2n}) of {1,2,…,2n}\{1,2,\ldots,2n\} has property PP if ∣xi−xi+1∣=n|x_i-x_{i+1}|=n for at least one i∈{1,…,2n−1}i\in\{1,\ldots,2n-1\}. Prove that for every positive integer nn there are more permutations with property PP than without it.
Step 5 of 5: Beat half of all permutations
In plain words

A strict majority is exactly the required comparison with permutations without P.

2n2(2n−2)!>(2n)!2⟹∣A∣>(2n)!22n^2(2n-2)!>\frac{(2n)!}{2}\quad\Longrightarrow\quad |A|>\frac{(2n)!}{2}
Detailed analysis

Since (2n)!=2n(2n−1)(2n−2)!(2n)!=2n(2n-1)(2n-2)!, the inequality 2n2(2n−2)!>(2n)!/22n^2(2n-2)!>(2n)!/2 is equivalent to 2n>2n−12n>2n-1, which is true. Thus more than half of all (2n)!(2n)! permutations lie in AA and have property PP; the remaining permutations are fewer, completing the proof.