怎么证明有界函数一定存在函数的绝对值小于一个常数