Monic Chebyshev extremal polynomial (source code)

= Monic Chebyshev extremal polynomial

Among monic real polynomials of degree $n$, $2^{1-n}T_n$ uniquely minimizes the supremum norm on $[-1,1]$, attaining the value $2^{1-n}$.