lean_workbook_plus_66259

Disproved

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

Prove that $(x^2+y^2+z^2)^2\geq2(x^3+y^3+z^3)+x^2+y^2+z^2$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_66259 : ∀ x y z : ℝ, (x ^ 2 + y ^ 2 + z ^ 2) ^ 2 ≥ 2 * (x ^ 3 + y ^ 3 + z ^ 3) + x ^ 2 + y ^ 2 + z ^ 2   :=  by sorry

Source