lean_workbook_plus_31336
ProvedProve that if , then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_31336 (k : ℕ) (h : 1 < k) : (3 : ℝ) ^ k > 2 ^ (k + 1) := by sorry
Source
Prove that if , then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_31336 (k : ℕ) (h : 1 < k) : (3 : ℝ) ^ k > 2 ^ (k + 1) := by sorry