证明一个函数恒大与另一个