台湾川源水泵有限公司:一道不等式证明题