lean_workbook_plus_24762

Disproved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Prove that $\frac{x^3+y^3+z^3}{xyz} \geq 108\frac{(x^2+y^2+z^2)^3}{(x+y+z)^6}-1$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_24762 : ∀ x y z : ℝ, (x ^ 3 + y ^ 3 + z ^ 3) / (x * y * z) ≥ 108 * (x ^ 2 + y ^ 2 + z ^ 2) ^ 3 / (x + y + z) ^ 6 - 1   :=  by sorry

Source

https://huggingface.co/datasets/internlm/Lean-Workbook

View graph