Karush-Kuhn-Tucker Conditions for the Lasso