努力了一下午

我证出来

对于斐波那契数列

存在

$f(n)\times f(n+1)=\frac{\sum^n_{i=0}\dbinom{2n+1}i5^i}{5\times2^{2n}}-\frac{(-1)^n}5$

然后我发现

计算这个式子需要O(n^2)

暴力枚举计算只要O(n)

。。。

杆