lean_workbook_plus_13278

Disproved

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

Prove that $p^4r^2+p^2q^4+q^2r^4\ge p^4qr+ pq^4r+pqr^4$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_13278 : ∀ {p q r : ℝ}, p^4 * r^2 + p^2 * q^4 + q^2 * r^4 ≥ p^4 * q * r + p * q^4 * r + p * q * r^4   :=  by sorry

Source