catalan数公式