permutation inequality