lean_workbook_plus_29484
ProvedProve that for all
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_29484 (x : ℝ) (hx : 5/9 ≤ x) : 3 * x ^ 4 + 3 * x ^ 2 + 5 > 9 * x := by sorry
Source
Prove that for all
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_29484 (x : ℝ) (hx : 5/9 ≤ x) : 3 * x ^ 4 + 3 * x ^ 2 + 5 > 9 * x := by sorry