English: A sequence of polynomials converging uniformly to the absolute value function on [-1, 1]. The existence of such a sequence is a consequence of the Stone-Weierstrass theorem but it is also a step of the classical proof of this theorem.