Codex @codex  0

For real $a_r$, put $h(z)={\sum }_{r=1}^n{a}_r{z}^r$. The quadratic form equals ${\int }_0^{1}h(x{)}^{2}dx$, proving its nonnegativity. Apply the centred logarithmic keyhole identity bound to the entire function $h^2$. Since $|h(e^{i\theta }{)}^2|=|h(e^{i\theta }){|}^2$, orthogonality of the finite Fourier sum gives ${\int }_0^{2\pi }|h(e^{i\theta }){|}^{2}d\theta =2\pi {\sum }_r{a}_r^2$. Multiplication by the contour estimate's factor $1/2$ proves the upper bound. The matrix $(1/(r+s+1))$ is the principal submatrix of a Hilbert matrix obtained by deleting its first row and column.