inv(σ)=∑1≤j<k≤nσ⁡(j)>σ⁡(k)1.