微积分里的不等式我想知道第一个大于号之后的是怎么推出来的,用了什么公式么?