ddxEn(x)En1(x)>0.