post: catalan number