pub fn chebyshev_error_bound(coeffs: &[ExactNum], p: usize) -> ExactNum
ℓ¹ tail Σ_{k≥1} |c_k| at precision p.
Σ_{k≥1} |c_k|
p
On [-1, 1], |T_k| ≤ 1, so this bounds |Σ c_k T_k(x) - c_0|. Empty or a single coefficient is zero.
[-1, 1]
|T_k| ≤ 1
|Σ c_k T_k(x) - c_0|