Lasso Basic Inequality