斐波那契数列是一个满足如下条件的数列 : $F_1=F_2=1,F_i=F_{i-1}+F_{i-2}(i\geq 3)$ 。通项公式为 $F_i=\frac{(\frac{1+\sqrt{5}}{2})^n-(\frac{1-\sqrt{5}}{2})^n}{\sqrt{5}}(i\geq 1)$ 。

那么， $F_i\leq 2^i(i\geq 1)$ 是否总是成立？

主要是因为今天比较忙，回答此贴的 dalao 们或许很少。如果来回答问题的 dalao 太少的话，明天也许会捞一下，违规紫杉。

薛定谔 : 要不把猫猫关进小黑屋？