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