lean_workbook_plus_41699

Proved

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

Given $a \geq 1$ and $b + c \leq -1$ , prove that $a^4 + b^4 + c^4 \geq a^3 + b^3 + c^3$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_41699 (a b c : ℝ) (h₁ : a ≥ 1) (h₂ : b + c ≤ -1) : a^4 + b^4 + c^4 ≥ a^3 + b^3 + c^3   :=  by sorry

Source