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