lean_workbook_plus_23198

Disproved

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

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

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

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

Source

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

View graph