lean_workbook_plus_36946
ProvedProve that , with equality if and only if .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_36946 (x y : ℝ) : x^2 + y^2 + 2 ≥ (x + 1) * (y + 1) := by sorry
Source
Prove that , with equality if and only if .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_36946 (x y : ℝ) : x^2 + y^2 + 2 ≥ (x + 1) * (y + 1) := by sorry