lean_workbook_plus_21186
ProvedFind the closed form of the sequence
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_21186 (n : ℕ) : 1 + (3 ^ (n - 1) - 1) / 2 = (1 + 3 ^ (n - 1)) / 2 := by sorry
Source
Find the closed form of the sequence
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_21186 (n : ℕ) : 1 + (3 ^ (n - 1) - 1) / 2 = (1 + 3 ^ (n - 1)) / 2 := by sorry