Lasso cone condition (source code)

= Lasso cone condition
{c}

On an event where the noise-score infinity norm is at most half the penalty, the Lasso error $\delta$ obeys $\lVert\delta_{S^c}\rVert_1\leq3\lVert\delta_S\rVert_1$.