不动点法求数列通项的证明.