Exploring Linear Inequalities in One Variable