Definition ∣∣f∣∣2=N→∞lim∑n=1Ncn2=N→∞lim∣∣∑n=1Ncnϕn∣∣2 Facts Parseval’s equation is a sufficient and necessary condition for orthonormal set to be complete