Prove2Me

lean_workbook_plus_82362

Proved

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

proofwiki

If a,b,c>0a, b, c>0 prove or disprove that a+b−ca+b+3c+b+c−a3a+b+c+c+a−ba+3b+c≥35\frac{a+b-c}{a+b+3c}+\frac{b+c-a}{3a+b+c}+\frac{c+a-b}{a+3b+c}\geq\frac{3}{5}

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_82362 (a b c : ℝ) (ha : 0 < a) (hb : 0 < b) (hc : 0 < c) : (a + b - c) / (a + b + 3 * c) + (b + c - a) / (3 * a + b + c) + (c + a - b) / (a + 3 * b + c) ≥ 3 / 5   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph