Prove2Me

lean_workbook_plus_6623

Proved

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

Prove that ab(a+b)+bc(b+c)+ac(a+c)≥6abcab(a + b) + bc(b + c) + ac(a + c) \ge 6abc , where a,b,c∈R+a, b, c \in R^{+}

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

View graph