lean_workbook_plus_78498
ProvedProve that for all real numbers and .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_78498 (x y : ℝ) : (3 * x + y) ^ 2 ≥ 8 * (x ^ 2 - y ^ 2) := by sorry
Source
Prove that for all real numbers and .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_78498 (x y : ℝ) : (3 * x + y) ^ 2 ≥ 8 * (x ^ 2 - y ^ 2) := by sorry