lean_workbook_plus_2944

Proved

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

Prove that for any real numbers $x,y$ \n $x^4+y^4+(x^2+1)(y^2+1) \ge x^3(1+y)+y^3(1+x)+x+y$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_2944 (x y : ℝ) : x^4 + y^4 + (x^2 + 1) * (y^2 + 1) ≥ x^3 * (1 + y) + y^3 * (1 + x) + x + y   :=  by sorry

Source