Theorem: convergesTo_const (LeanCourse/Lectures/Lecture5.lean)

State before:
a : ℝ
⊢ SequentialLimit (fun n => a) a
Tactic:
sorry
State after:
no goals