orthogonal polynomials, Verblunsky coefficients, Szego's theorem