 Solution

The orthogonal projection is $p_n={\sum }_{r=0}^n(u,{\varphi }_r){\varphi }_r$. Subtract it from $u$ and use the orthonormal basis relations to obtainThis is the requested Bessel inequality.

For the infinite tail, use completeness of the orthonormal polynomial family in the usual weighted L2 space. The relevant density facts are that continuous functions are dense for the finite measure $w(x)dx$, and the Weierstrass approximation theorem makes polynomials uniformly dense in continuous functions on the compact interval. Since $\int w<\infty$, uniform approximation also gives weighted L2 norm approximation. Parseval's identity therefore givesHere finiteness of the weight integral is also necessary for the constant polynomial to belong to the stated Hilbert space. Without completeness of the polynomial family, an additional squared component orthogonal to every polynomial would remain; Bessel inequality alone does not justify equality.