已知关于X的不等式AX