有界函数必须有确界么 比如指数函数下界无限接近于0