lean_workbook_plus_3379
ProvedShow that the inequality holds for all real numbers
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_3379 (a : ℝ) : 3 * (1 + a^2 + a^4) ≥ (1 + a + a^2)^2 := by sorry
Source
Show that the inequality holds for all real numbers
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_3379 (a : ℝ) : 3 * (1 + a^2 + a^4) ≥ (1 + a + a^2)^2 := by sorry