(∫abf⁡(x)⁢g⁡(x)⁢ⅆ⁡x)2≤∫ab(f⁡(x))2⁢ⅆ⁡x⁢∫ab(g⁡(x))2⁢ⅆ⁡x.