lean_workbook_plus_15291
ProvedProve that for all
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_15291 : ∀ n : ℕ, 2 ≤ n → 5 ^ n + 9 < 6 ^ n := by sorry
Source
Prove that for all
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_15291 : ∀ n : ℕ, 2 ≤ n → 5 ^ n + 9 < 6 ^ n := by sorry