精细的Rado最优化定理

给定x=（x1,…,xn）^T∈R^n,令x[1]≥…≥x[n]表示x的分量按非增次序的重排．设x=（xi）,y=（yi）∈R^n，若对于k=1，2，…，n-1。