高等数学用定义证明数列的极限用定义证明核心就是（E-N）定义验证而且这个过程要用到不等式的放缩，那么对于不等式的放缩有要求么？比如说lim(4n)^2/(n方-n)=4(n趋于正无穷）答案上

　　高等数学用定义证明数列的极限

　　用定义证明核心就是（E-N）定义验证

　　而且这个过程要用到不等式的放缩，那么对于不等式的放缩有要求么？

　　比如说lim(4n)^2/(n方-n)=4(n趋于正无穷）答案上面放缩成了(4n)^2/(n方-n)-4的绝对值小于等于8/n如果我经过运算可以直接化简然后放缩到小于等于4/n呢？这样对么？