∫abf⁡(x)⁢g⁡(x)⁢ⅆ⁡x≤(∫ab(f⁡(x))p⁢ⅆ⁡x)1/p⁢(∫ab(g⁡(x))q⁢ⅆ⁡x)1/q.