∑∞n=-∞|cn|2≤12⁢π⁢∫-ππ|f⁡(x)|2⁢ⅆ⁡x.