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