lean_workbook_plus_46035
Disproved(7)
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_46035 : ∀ c : ℝ, (3 / 2) * (2 * c ^ 3 + 1) ≥ (9 * c ^ 2) / 2 := by sorry
Source
(7)
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_46035 : ∀ c : ℝ, (3 / 2) * (2 * c ^ 3 + 1) ≥ (9 * c ^ 2) / 2 := by sorry