给出函数F(x)在x0点取得极小值的定义,及在(a,b)内上确界的定义