lean_workbook_plus_81910
ProvedProve that: with
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_81910 : ∀ x : ℝ, x^2 < 2 → 1 / (4 - x^2) ≤ (x^4 + 5) / 18 := by sorry
Source
Prove that: with
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_81910 : ∀ x : ℝ, x^2 < 2 → 1 / (4 - x^2) ≤ (x^4 + 5) / 18 := by sorry