lean_workbook_plus_27818

Disproved

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

Prove that $3a^6 + 16a^3b^3 + 3b^6 \ge 11a^4b^2 + 11a^2b^4$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_27818 : ∀ a b : ℝ, 3 * a ^ 6 + 16 * a ^ 3 * b ^ 3 + 3 * b ^ 6 ≥ 11 * a ^ 4 * b ^ 2 + 11 * a ^ 2 * b ^ 4   :=  by sorry

Source