lean_workbook_plus_34104
DisprovedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_34104 : ∀ t : ℝ, -1 / 81 * (t - 3) * (t ^ 4 + 3 * t ^ 3 + 27 * t ^ 2 + 81 * t + 324) ≥ 0 := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_34104 : ∀ t : ℝ, -1 / 81 * (t - 3) * (t ^ 4 + 3 * t ^ 3 + 27 * t ^ 2 + 81 * t + 324) ≥ 0 := by sorry