证明函数是有界函数的条件是什么意思