lean_workbook_plus_6940
ProvedProve .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_6940 (a b : ℝ) : a^8 + b^8 ≥ (a^4 + b^4)^2 / 2 := by sorry
Source
Prove .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_6940 (a b : ℝ) : a^8 + b^8 ≥ (a^4 + b^4)^2 / 2 := by sorry