lean_workbook_plus_2460
ProvedBy Cauchy-Schwarz inequality;
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_2460 (a b c d : ℝ) : (a^2 * b + c^2 * d) * (b + d) ≥ b * d * (a + c)^2 := by sorry
Source
By Cauchy-Schwarz inequality;
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_2460 (a b c d : ℝ) : (a^2 * b + c^2 * d) * (b + d) ≥ b * d * (a + c)^2 := by sorry