构造辅助函数证明不等式

• Testifying Inequality by Building Auxiliary Function