8.2.2 连乘积相关不等式