lean_workbook_plus_52329
ProvedFind the limit: $ \lim_{t \rightarrow 0^+} \frac{1}{t}-\frac{1}{2}-\frac{1}{t(t+1)} $
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_52329 : ∀ ε : ℝ, ε > 0 → ∃ N : ℕ, ∀ t : ℝ, t > 0 ∧ t < 1 / N → |(1 / t - 1 / 2 - 1 / (t * (t + 1))) - 1 / 2| < ε := by sorry
Source