Basic Absolute Value Function Inequalities