lean_workbook_plus_33486
ProvedProve by induction that for all .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_33486 (n : ℕ) (hn : 9 < n) : 2^n > n^3 := by sorry
Source
Prove by induction that for all .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_33486 (n : ℕ) (hn : 9 < n) : 2^n > n^3 := by sorry