lean_workbook_plus_59602

import Mathlib.Analysis.Complex.Basic

theorem lean_workbook_plus_59602 : ∀ a b c : ℕ, (a * b / (a + b + 2 * c + 1) + b * c / (b + c + 2 * a + 1) + c * a / (c + a + 2 * b + 1) : ℚ) ≤ 3 / 5   :=  by sorry