lean_workbook_plus_65958

Proved

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

Prove that for any natural number $n \geq 6$ , then

(n+3)^3 \leq 3^n

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_65958 (n : ℕ) (h₁ : 6 ≤ n) : (n + 3) ^ 3 ≤ 3 ^ n   :=  by sorry

Source