lean_workbook_plus_13489

Proved

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

For $a, b > 0$ and $n \ge 2$ , prove that $(a+b)^{n} > a^{n} + b^{n}$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_13489 (a b : ℝ) (n : ℕ) (ha : 0 < a) (hb : 0 < b) (hn : 2 ≤ n) : (a + b) ^ n > a ^ n + b ^ n   :=  by sorry

Source