実数,1 次不等式