证明函数是有界函数的式子是什么意思