试给出x趋向无穷时函数极限的局部有界性的定理,并加以证明

当X趋向于无穷时,函数极限的局部有界性定理:如果lim(x->∞)f(x)存在,则存在正数X,使得当|x|>X时,f(x)有界。证明:设lim(x->∞)f(x)=A,则由"ε-X"定义知,对于ε=1,存在正数X,使得当|x|>X时,恒有 |f(x)-A|X时,有 |f(x)|≤|f(x)-A|+|A|X时,f(x)有界。