Solution (source code)

= Solution

Bilinearity and symmetry follow from the <integral>. Also $\langle p,p\rangle=\int_0^1p(t)^2dt\ge0$, and equality forces the continuous <polynomial> $p$ to vanish identically.