A combinatorial proof of the log-concavity of a famous sequence counting permutations.
We prove a density version of the Carlson–Simpson Theorem. Specifically we show the following. For every integer and every set of words over satisfying there exist a word over and a sequence of left variable words over such that the set is contained in . While the result is infinite-dimensional its proof is based on an appropriate finite and quantitative version, also obtained in the paper.