Terms_in_Convergent_Series_Converge_to_Zero
Provedproofwikiseries
If the series sum a_n converges, then a_n converges to 0.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
import Mathlib.Analysis.Complex.Basic theorem Terms_in_Convergent_Series_Converge_to_Zero (a : ℕ → ℝ) (ha : Summable a) : Filter.Tendsto a Filter.atTop (nhds 0) := by sorry
Source