`BookProof.ChapterEulerCountableChain.stickTail_succ` (c : ℕ → ℝ) (N : ℕ) : stickTail c (N + 1) = stickTail c N * (1

Initializing...

`BookProof.ChapterEulerCountableChain.stickTail_succ` (c : ℕ → ℝ) (N : ℕ) : stickTail c (N + 1) = stickTail c N * (1 - c N) · Prove2Me