证明lim(a an)^n=o(a>1)