Absolute value inequality