$\Huge Cat_{n+1}=\sum _{i=0} ^{\lfloor\frac{n}{2}\rfloor} Cat_iC_n^{2i}2^{n-2i}$

为了看得清楚一些，我调了一下字号。

发出这个帖子的前一刻，我似乎会证了……但还是求助一下吧。