Lemma 14, p. 16 — the Chebyshev series (55) truncated at j₀ = √(b log(4b/ε)), b = κ² log(κ/ε), is 2ε-close to 1/x on D_κ

Initializing...

Lemma 14, p. 16 — the Chebyshev series (55) truncated at j₀ = √(b log(4b/ε)), b = κ² log(κ/ε), is 2ε-close to 1/x on D_κ · Prove2Me