Prove2Me

lean_workbook_plus_45802

Disproved

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

prove that (1+y)(1+z)1+x+(1+z)(1+x)1+y+(1+x)(1+y)1+z≥3+x+y+z{\frac { \left( 1+y \right) \left( 1+z \right) }{1+x}}+{\frac { \left( 1+z \right) \left( 1+x \right) }{1+y}}+{\frac { \left( 1+x \right) \left( 1+y \right) }{1+z}}\geq 3+x+y+z

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_45802 : ∀ x y z : ℝ, (1 + y) * (1 + z) / (1 + x) + (1 + z) * (1 + x) / (1 + y) + (1 + x) * (1 + y) / (1 + z) ≥ 3 + x + y + z   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph