lim_nrightarrowinftya_n=a等价于forallvarepsilon0有无穷多个a_n属于lefta-varepsilona+varepsilonright判断正误后并解释原因以及说明用到什么知识点

这个判断是正确的。

根据极限的定义，对于任意给定的正数ε，存在正整数N，当n>N时，有|a_n - a| < ε。

假设存在ε>0，使得只有有限个a_n属于(a-ε, a+ε)，即只有有限个a_n满足|a_n - a| < ε。

那么对于这个特定的ε，存在一个正整数N，当n>N时，有|a_n - a| ≥ ε。

这与极限的定义相矛盾，因为极限的定义要求对于任意正数ε，都存在正整数N使得当n>N时，|a_n - a| < ε。

所以假设不成立，即对于任意正数ε，都存在无穷多个a_n属于(a-ε, a+ε)。

这个问题涉及到极限的定义和数列的性质。