证明函数有界的步骤