maj⁡(σ)=∑1≤j<nσ⁡(j)>σ⁡(j+1)j.