Consider the follwing optimization model known as the lasso problem for which a closed-form solution exists, see Derivation of closed-form lasso solution.
Lasso: $$\min_\beta \quad (Y-X\beta)^T(Y-X\beta) + \lambda \|\beta\|_1 $$
Now consider a closely related optimization problem as
$$\min_\beta \quad (Y-X\beta)^T(Y-X\beta) + \lambda \|\beta\|_1 $$
$$\beta_i \leq t_i \quad \forall i \in \{1, ..., p\}$$.
where $t_i$ is a known constant.
Can we derive a closed form solution for this problem?