lean_workbook_plus_13010

Disproved

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

Prove that $\frac{ab+c}{ab+2c+3}+\frac{bc+a}{bc+2a+3}+\frac{ac+b}{ac+2b+3}\leq \frac{a+b+c+3}{6}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_13010 : ∀ a b c : ℝ, (a * b + c) / (a * b + 2 * c + 3) + (b * c + a) / (b * c + 2 * a + 3) + (c * a + b) / (c * a + 2 * b + 3) ≤ (a + b + c + 3) / 6   :=  by sorry

Source

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

View graph