Basic Lasso Inequality