对于使恒成立的所有常数中，我们把的最小值 叫的上确界，若 则的上确界为           。