lean_workbook_plus_14126
ProvedLet and be two real numbers. Prove .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_14126 (a b : ℝ) : (2 * a + 2 * b) ^ 2 ≥ b * (4 * a + 3 * b) := by sorry
Source
Let and be two real numbers. Prove .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_14126 (a b : ℝ) : (2 * a + 2 * b) ^ 2 ≥ b * (4 * a + 3 * b) := by sorry