The terms in the expansion of the product are of the form

where .

Given an acceptable sequence , define by

.

Then I think you can convince yourself that the mapping of sequences is a bijection, the are non-decreasing, , which is one of the characterizations of the the Catalan numbers.

jw