lean_workbook_plus_18896
DisprovedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_18896 : ∀ a : ℝ, (3*a+1)*(a^2+2) ≥ a^2*(a-5) := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_18896 : ∀ a : ℝ, (3*a+1)*(a^2+2) ≥ a^2*(a-5) := by sorry