exp⁡(∫01ln⁡(f⁡(x))⁢ⅆ⁡x)<∫01f⁡(x)⁢ⅆ⁡x.