Sí. Es una caracterización típica: \( f \) es contínua en \( a \) si y solo si para toda sucesión \( (a_n) \) con límite \( a \), la sucesión \( (f(a_n)) \) converge a \( f(a) \).
Es un teorema que deberías encontrar en cualquier libro de análisis. También puedes intentar demostrarlo tú mismo con epsilons y deltas, no es demasiado difícil.