lim[x->a]f(x)=b ==> lim[n->∞]f(an)=b
由函数极限定义：任给e>0,存在d>0,当|x-a|a]f(x)不是b,
则存在e>0,对任意d>0,都存在某个x：满足|x-a|e
再利用lim[n->∞]f(an)=b的数列极限定义推出矛盾.
（当你看到这里时,已经有足够的能力完成后面的证明了）