lean_workbook_plus_49542
ProvedProve the following statements directly using the formal $\varepsilon $,$\delta $ definition.ii) $\underset{x\to 1}{\mathop{\lim }}\,\frac{x+3}{{{x}^{2}}+x+4}=\frac{2}{3}$
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_49542 : ∀ ε : ℝ, ε > 0 → ∃ δ : ℝ, δ > 0 ∧ ∀ x : ℝ, x ∈ Set.Ioo 1 δ → |(x + 3) / (x^2 + x + 4) - 2 / 3| < ε := by sorry
Source