F[n]はフィボナッチ数列

(F[n]F[n+1])^4≦(n^3)Σ[k=1→n](F[k])^8