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