e（p，u)是定义良好的，数值集{ele=p*x}是以0为下界。此外，由于p>>0,此集被表示为闭集。因此，它包含了一个最小的数。而e（p，u）的值正好是这个最小的数。