 Solution

Let $y\ne 0$ be an eigenfunction, allowing complex values for the reality argument. The self-adjoint differential operator identity and integration by parts giveThe boundary term $[x(x-1)\overline{y}{y}^{\prime }{]}_1^R$ vanishes for the same reasons as in part ii. The denominator is real and positive; the numerator is real and strictly positive because $l\ge 1$ and $y\ne 0$. Hence the Rayleigh quotient isThe positivity uses a nondegenerate interval $R>1$.