怎么证明函数有界的充分必要条件