The Proximal operator of the infinity norm is: `prox_InfinityNorm(x) = x − Proj{NormL1 ≤ 1}(x)` I think the implementation is not complete. @matteofrigo, can we check it??