Lemma 19, p. 21 — the series (77) truncated at j₀ = √(b log(4b/ε)) is ε-close to (1 − (1 − x²)^b)/x on [−1, 1]

Initializing...

Lemma 19, p. 21 — the series (77) truncated at j₀ = √(b log(4b/ε)) is ε-close to (1 − (1 − x²)^b)/x on [−1, 1] · Prove2Me