lean_workbook_plus_31858
ProvedShow that for
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_31858 (x : ℝ) (hx : 2 ≤ x) : (x^2 - x + 6)^2 ≥ 16 * (3 * x - 2) := by sorry
Source
Show that for
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_31858 (x : ℝ) (hx : 2 ≤ x) : (x^2 - x + 6)^2 ≥ 16 * (3 * x - 2) := by sorry