number of permutations that are 2-queue sortable is catalan

Tags: #theorem

Statement

The number of permutations in Sn (the symmetric group) that are 2-queue-sortable is Catalan, ie. equal to Cn.

Proof