lean_workbook_plus_46517
DisprovedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_46517 : ∀ x : ℝ, (4 * (5 - x) ^ 2 / (31 - 11 * x) ≥ x / 5 + 3 ↔ 31 * x ^ 2 + 35 ≥ 66 * x) := by sorry
Source
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_46517 : ∀ x : ℝ, (4 * (5 - x) ^ 2 / (31 - 11 * x) ≥ x / 5 + 3 ↔ 31 * x ^ 2 + 35 ≥ 66 * x) := by sorry