lean_workbook_plus_55189
ProvedProve that is true for all integers .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_55189 : ∀ n : ℕ, n > 4 → 2^n > n^2 := by sorry
Source
Prove that is true for all integers .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_55189 : ∀ n : ℕ, n > 4 → 2^n > n^2 := by sorry