一道不等式证明题的后续