lean_workbook_plus_34855
ProvedLet ,prove that:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_34855 (x y z : ℝ) : 1 + x^2 * y^2 + z^2 * x^2 + y^2 * z^2 >= 4 * x * y * z := by sorry
Source
Let ,prove that:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_34855 (x y z : ℝ) : 1 + x^2 * y^2 + z^2 * x^2 + y^2 * z^2 >= 4 * x * y * z := by sorry