ⅆⅆ⁡x⁡En⁡(x)En-1⁡(x)>0.