Theorem: exercise3_4 (LeanCourse/Assignments/Assignment3.lean)

State before:
⊢ SequentialLimit (fun n => 1 / (↑n + 1)) 0
Tactic:
sorry
State after:
no goals