[an]\leq an