lean_workbook_plus_64976

Disproved

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

prove that $\frac{a^2}{b^2}+ \frac {b^2}{c^2}+ \frac {c^2}{a^2}+\frac {2a b c}{a^3 +b^3+c^3} \ge \frac{11}{3}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_64976 : ∀ a b c : ℝ, (a^2 / b^2 + b^2 / c^2 + c^2 / a^2 + 2 * a * b * c / (a^3 + b^3 + c^3) ≥ 11 / 3)   :=  by sorry

Source