lean_workbook_plus_8684
ProvedCalculate the infinite series:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_8684 (x : ℝ) : ∑' n : ℕ, (n / 3 ^ n) = 3 / 4 := by sorry
Source
Calculate the infinite series:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_8684 (x : ℝ) : ∑' n : ℕ, (n / 3 ^ n) = 3 / 4 := by sorry