The Fibonacci sequence goes F(0)=0, F(1)=1, and for n>1, F(n)=F(n-1)+F(n-2).
Show that for every positive integer m there exists an integer n>0 such that m divides F(n).
This proof to another Fibonacci puzzle also solves the current puzzle. Substitute m for 106 and m2 > m for 1012. Then stop at a0 = an.