如何证明函数有上下