 We would like to know, in which sense does formula_172 converge to formula_173 as formula_174.We say that formula_175 is a trigonometric polynomial of degree formula_23 when it is of the form

Note that formula_178 is a trigonometric polynomial of degree formula_23.Parseval's theorem implies that

Theorem.