1x+n<exEn(x)1x+n1,