An exponential lower bound for every natural number

Prove that $3^n \ge 2n + 1$ for $n \in \mathbb{Z^+}$

Source: InternLM Lean-Workbook, record lean_workbook_10314 (Apache-2.0). The complete source proposition and its explicit variable declarations are preserved.