$Cat_{n+1} = \sum _{i=0} ^{\lfloor\frac{n}{2}\rfloor} Cat_i C _{n} ^{2i} 2^{n-2i}\ (Cat_n=\dfrac{C _{2n}^{n}}{n+1})$

任何证法都可以，除了这个。