Az x1, x2, ..., xn, valamint y1<y2<...<yn pozitív valós számokra és az u>1 valós számra teljesül, hogy tetszőleges 1≤k≤n esetén