lean_workbook_plus_57063

Proved

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

Prove that $1+2^{n+1}+4^{n+1}>2(1+2^n+4^n)$ $\forall n\in\mathbb N$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_57063 (n:ℕ) : 1 + 2^(n+1) + 4^(n+1) > 2 * (1 + 2^n + 4^n)   :=  by sorry

Source