有界函数是指既有上界又有下界吗