lean_workbook_plus_75740
Provedprove that where
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_75740 (x : ℝ) (h : x >= 3) : x^5 - 3 * x^3 - 36 * x^2 + 162 >= 0 := by sorry
Source
prove that where
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_75740 (x : ℝ) (h : x >= 3) : x^5 - 3 * x^3 - 36 * x^2 + 162 >= 0 := by sorry