Mustn't Forget

Clarify all the stat involved in getting the average case. Clarify that $F_n = \phi^n - \hat{\phi}^n$, and $0 < \hat{\phi} < 1$, so $\hat{\phi}^n \rightarrow 0$ as $n \rightarrow 0$.

\TeX ownz me. :P

Edit: Foolish, too. Can prove this: $\displaystyle F_0 = F_1 = 1\qquad F_n = \frac{\phi^n - \hat{\phi}^n}{\sqrt{5}}.