lean_workbook_plus_19451
DisprovedFind the sum of the infinite geometric series .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_19451 (x : ℝ) (hx : x = 1) : ∑' i : ℕ, (x/8)^i = 4/7 := by sorry
Source
Find the sum of the infinite geometric series .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_19451 (x : ℝ) (hx : x = 1) : ∑' i : ℕ, (x/8)^i = 4/7 := by sorry