MathDB
2020 EGMO P4: n times the previous number of fresh permutations

Source: 2020 EGMO P4

April 18, 2020
EGMO 2020EGMOcombinatoricspermutationsinequalitiescounting

Problem Statement

A permutation of the integers 1,2,,m1, 2, \ldots, m is called fresh if there exists no positive integer k<mk < m such that the first kk numbers in the permutation are 1,2,,k1, 2, \ldots, k in some order. Let fmf_m be the number of fresh permutations of the integers 1,2,,m1, 2, \ldots, m.
Prove that fnnfn1f_n \ge n \cdot f_{n - 1} for all n3n \ge 3.
For example, if m=4m = 4, then the permutation (3,1,4,2)(3, 1, 4, 2) is fresh, whereas the permutation (2,3,1,4)(2, 3, 1, 4) is not.