$\lbrace a_n \rbrace$ es una secuencia de enteros positivos tal que $a_{i+2} = a_{i+1} +a_i$ (para todo $i \ge 1$ ) . Para un entero positivo $n$ , defina como $$b_n=\frac{1}{a_{2n+1}}\Sigma_{i=1}^{4n-2}a_i$$ Pruebe que $b_n$ es un entero positivo.