• 正序和不小于乱序和，乱序和不小于逆序和
• 证明可以用调整法
sigma a[i]*b[i](a[i]>a[i-1],b[i]>b[i-1]) >= sigma a[i]*b[i](a[i]<a[i-1],b[i]>b[i-1])
