由不等式2