number of permutations that are stack-sortable is catalan

Tags: #theorem

Statement

The number of stack-sortable permutations of Sn (the symmetric group) is Catalan numbers.

Proof