lean_workbook_plus_77606
DisprovedProve that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_77606 : ∀ x y z : ℝ, (1 + x ^ 3) * (1 + y ^ 3) * (1 + z ^ 3) ≥ (1 + x * y * z) ^ 3 := by sorry
Source
Prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_77606 : ∀ x y z : ℝ, (1 + x ^ 3) * (1 + y ^ 3) * (1 + z ^ 3) ≥ (1 + x * y * z) ^ 3 := by sorry