任意のでない多項式に対して， \begin{aligned} \int_{0}^{1} f(x)^2 {\rm d} x \gt 0\end{aligned} ここまでは当たり前体操です。この左辺を変形すると \begin{aligned} \int_{0}^{1} f(x)^2 {\rm d} x &= \int_{0}^{1} \left(\sum_{i=1}^{n}\sum_{j=1}^{n}…