Polynomial approximation of the positive part
ID: polynomial-approximation-of-the-positive-part
On any fixed compact interval, the positive part of a real-valued function can be approximated uniformly by a real polynomial. Quantitative dense-model arguments use a version whose degree and coefficient growth are explicitly controlled in terms of the approximation error.
New to topics? Read the docs here!