lean_workbook_plus_54116

Disproved

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

Cauchy gives : \n\n $\left(\frac{2}{a}+\frac{3}{b}+\frac{1}{c}\right)(2a+3b+c)\ge (2+3+1)^2$ \nIt follows that the minimum is 36.

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_54116 : ∀ a b c : ℝ, (2 / a + 3 / b + 1 / c) * (2 * a + 3 * b + c) ≥ 36   :=  by sorry

Source