lean_workbook_plus_27528

Proved

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

$\frac{2}{3x^2} + \frac{3}{2y^2} \geq \frac{2}{xy}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_27528 (x y : ℝ) : (2 / (3 * x ^ 2) + 3 / (2 * y ^ 2) ≥ 2 / (x * y))   :=  by sorry

Source