lean_workbook_plus_53732

Disproved

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

Prove that $\frac{a^2}{a^2+b+c}+\frac{b^2 }{b^2+c+a}+\frac{c^2}{c^2+a+b}\leq \frac{3}{2}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_53732 : ∀ a b c : ℝ, (a^2 / (a^2 + b + c) + b^2 / (b^2 + c + a) + c^2 / (c^2 + a + b) : ℝ) ≤ 3 / 2   :=  by sorry

Source