lean_workbook_plus_51546

Proved

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

Let $x,y,z\geq 0$ ,prove that: $(x^3+y^3+z^3)(x+y+z)\geq (x^2+y^2+z^2)^2.$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_51546 (x y z : ℝ) (hx : x ≥ 0) (hy : y ≥ 0) (hz : z ≥ 0) : (x^3 + y^3 + z^3) * (x + y + z) ≥ (x^2 + y^2 + z^2)^2   :=  by sorry

Source

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

View graph