lean_workbook_plus_26143

import Mathlib.Analysis.Complex.Basic

theorem lean_workbook_plus_26143 : ∀ a b c : ℝ, (a / (2 * a + b + 2 * c) + b / (2 * b + c + 2 * a) + c / (2 * c + a + 2 * b) : ℝ) ≤ 3 / 5   :=  by sorry