12⁢a02+∑∞n=1(an2+bn2)≤1π⁢∫-ππ(f⁡(x))2⁢ⅆ⁡x.