lean_workbook_plus_61203
ProvedProve that for any
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_61203 (n : ℕ) (h : n ≥ 3) : 4 ^ n ≥ (n + 1) ^ 3 := by sorry
Source
Prove that for any
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_61203 (n : ℕ) (h : n ≥ 3) : 4 ^ n ≥ (n + 1) ^ 3 := by sorry