1不等式及其解集