数学基础-线性不等式推导