设 a_{2n+1}=a_{2n}=a_{2n-1}+a_n, n大于等于1, a_1=1.
求证 lim (log_2 a_n)/(log_2 n)^2 =1/2, 其中 n 趋于正无穷.