Linear inequalities in one variable