构造函数证明不等式或比较大小