lean_workbook_plus_9534
ProvedFurthermore, by CS, .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_9534 (a b : ℝ) : 2 * (a^2 + b^2) ≥ (a + b)^2 := by sorry
Source
Furthermore, by CS, .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_9534 (a b : ℝ) : 2 * (a^2 + b^2) ≥ (a + b)^2 := by sorry