ϕ⁡(∫01f⁡(x)⁢ⅆ⁡x)≤∫01ϕ⁡(f⁡(x))⁢ⅆ⁡x,