lean_workbook_plus_55163

Disproved

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

Prove $4(1+abc)\ge (a+1)(b+1)(c+1)$ for all positive real numbers $a$ , $b$ , $c$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_55163 : ∀ a b c : ℝ, a > 0 ∧ b > 0 ∧ c > 0 → 4*(1+a*b*c) ≥ (a+1)*(b+1)*(c+1)   :=  by sorry

Source