已知不等式Ix-4I+Ix-aI