lean_workbook_plus_74437
ProvedProve that for any real number ,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_74437 (a : ℝ) : a^6 + 2*a^5 + a^4 + 4*a^3 + 7*a^2 + 18*a + 55 > 0 := by sorry
Source
Prove that for any real number ,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_74437 (a : ℝ) : a^6 + 2*a^5 + a^4 + 4*a^3 + 7*a^2 + 18*a + 55 > 0 := by sorry