Polynomial approximation of the positive part
= Polynomial approximation of the positive part
On any fixed compact interval, the <positive part of a real-valued function> $t_+=\max(0,t)$ 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.