这道让很多人栽跟头的题，引入变量建立不等式当然可以但不好想