第三个好像可以用不等式