 Orthogonal polynomials formula_76 with formula_77 for formula_78 for a scalar product formula_79, degree formula_80 and leading coefficient one (i.e.monic orthogonal polynomials) satisfy the recurrence relation

and scalar product defined

for formula_83 where is the maximal degree which can be taken to be infinity, and where formula_84.First of all, the polynomials defined by the recurrence relation starting with formula_85 have leading coefficient one and correct degree.