lean_workbook_plus_33662
DisprovedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_33662 : ∀ a : ℝ, (1 + 2 * a) / (1 + 2 * a + 6 * a ^ 2) ≥ -(48 / 49) * a + 51 / 49 := by sorry
Source
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_33662 : ∀ a : ℝ, (1 + 2 * a) / (1 + 2 * a + 6 * a ^ 2) ≥ -(48 / 49) * a + 51 / 49 := by sorry