lean_workbook_plus_13998
Disprovedby Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)
The following inequality is true: (a+1)21+(b+1)21+(c+1)21+4a+b+c≥23.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_13998 : ∀ a b c : ℝ, (a + 1) ^ (-2:ℤ) + (b + 1) ^ (-2:ℤ) + (c + 1) ^ (-2:ℤ) + (a + b + c) / 4 ≥ 3 / 2 := by sorry
View graph