lean_workbook_plus_81742
ProvedProve that for any real .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_81742 (a : ℝ) : (1 + a^2 + a^4)^4 ≥ 9 * a^4 * (a + a^2 + a^3)^2 := by sorry
Source
Prove that for any real .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_81742 (a : ℝ) : (1 + a^2 + a^4)^4 ≥ 9 * a^4 * (a + a^2 + a^3)^2 := by sorry