• 正序和不小於亂序和,亂序和不小於逆序和
• 證實能夠用調整法
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])