Absolute-Value-Inequality