lean_workbook_plus_58439

Disproved

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

prove that $\frac{1}{{{a^2} +{b^2}+3}} + \frac{1}{{{b^2} +{c^2}+3}} + \frac{1}{{{c^2} +{a^2}+3}} \le \frac{3}{5}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_58439 : ∀ a b c : ℝ, (1 / (a ^ 2 + b ^ 2 + 3) + 1 / (b ^ 2 + c ^ 2 + 3) + 1 / (c ^ 2 + a ^ 2 + 3)) ≤ 3 / 5   :=  by sorry

Source