怎么证明一个函数的有界性