lean_workbook_plus_32301
DisprovedProve \n for
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_32301 : ∀ x : ℝ, x < 1 / 12 → 1 / (1 + 6 * x ^ 2) ≥ -24 * x / 25 + 22 / 25 := by sorry
Source
Prove \n for
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_32301 : ∀ x : ℝ, x < 1 / 12 → 1 / (1 + 6 * x ^ 2) ≥ -24 * x / 25 + 22 / 25 := by sorry