lean_workbook_plus_40405

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_40405 (n : ℕ) (hn : 6 ≤ n) : (n + 3)^3 ≤ 3^n   :=  by sorry

Source