If we keep track of the inequality we find we will have, in the general case, Bessel’s inequality for the number of coefficients taken in the sum, and this provides a running test for when you have taken enough terms in a finite approximation.