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

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