lean_workbook_plus_72732

Disproved

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

Generalizing: $x^n+y^n \leq 2^n+3^n$ \n\n $n \in N$ and $n \geq 1$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_72732 (n : ℕ) (hn : 1 ≤ n) : ∀ x y : ℕ, x^n+y^n ≤ 2^n+3^n   :=  by sorry

Source