$\int p(x)^2\,d\mu=\sum_{j,k}a_ja_km_{j+k}\ge0$ for real polynomials $p$ · Prove2Me

P

Initializing...

$\int p(x)^2\,d\mu=\sum_{j,k}a_ja_km_{j+k}\ge0$ for real polynomials $p$ · Prove2Me