lean_workbook_plus_3098

Disproved

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

Prove that $\dfrac{x^2+y^2+z^2}{2x^3+2y^3+2z^3+3}\leq\dfrac{1}{3}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_3098 : ∀ x y z : ℝ, (x^2 + y^2 + z^2) / (2 * x^3 + 2 * y^3 + 2 * z^3 + 3) ≤ 1 / 3   :=  by sorry

Source