什么叫做有界函数