怎样证明有界函数