The document discusses the Mac-poly Remainder Theorem, which provides a formula for the difference between a function value f(b) and its nth Mac-poly polynomial value pn(b). Specifically:
- The theorem states that for a function f(x) that is infinitely differentiable over an interval containing [0,b], there exists a c between b and 0 such that f(b) = pn(b) + Rn(b), where Rn(b) is the remainder term involving the (n+1)th derivative of f.
- An example shows applying the theorem to the function f(x)=ex, finding the Mac-poly is the series 1 + x +