lean_workbook_plus_76961

Proved

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

Cauchy:\n\n $(1 + 1)(a^6 + b^6)\ge (a^3 + b^3)^2$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_76961 : ∀ a b : ℝ, (1 + 1) * (a^6 + b^6) ≥ (a^3 + b^3)^2   :=  by sorry

Source