1: \begin{definition}

2: In the sequel, we let

3: \ben

4: \item $c:= c_{\max}$ and $r := r_{\max} = r_0 + c$ and so $r_j = r_0 + \sum_{i=1}^{j} (c_{i,\new} - c_{i,\old}) \leq r$, %$c:= c_{mx}$ and $r: = r_{mx} = r_0 + c$.

5: 

6: \item $\phi^+ := 1.1735$ %is the upper bound on $\max_{k=1,2\dots K} \phi_k$ conditioned on $\Gamma_{j,k,0}$ (or conditioned on $\Gamma_{j,K,k'}$ for any $1 \le k' \le \vartheta_j$)  that follows using the above bounds and Lemma \ref{RIC_bnd}

7: 

8: %\item $\kappa_{s,*} := \max_j \kappa_{s}(P_{j-1})$, $\kappa_{s,\new} := \max_j \kappa_{s}(P_{j,\new})$, $\kappa_{s,k}:= \max_j \kappa_s (D_{j,\new,k})$, $\tilde{\kappa}_{s,k} := \max_j \kappa_{s}((I-P_{j,\new}{P_{j,\new}}') \Phat_{j,\new,k})$, $\kappa_{s,e} := \max_j \kappa_s(\Phi_K P_{j})$.

9: %    $g_k : =  \max_j g_{j,k}$,

10: %\item recall that $\kappa_{2s,*}^+ := 0.3$, $\kappa_{2s,\new}^+ := 0.15$, ${\kappa}_{s}^+ := 0.15$, $\tilde{\kappa}_{2s}^+ := 0.15$ and $g^+ := \sqrt{2}$ are the upper bounds assumed in Theorem \ref{thm2} on $\kappa_{2s,*}$, $\kappa_{2s,\new}$, $\max_{k=1,2\dots K}\kappa_{s,k}$, $\max_{k=1,2\dots K} \tilde{\kappa}_{2s,k}$ and $\max_j \max_{k=1,2\dots K} g_{j,k}$ respectively.

11: \een

12: \end{definition}

13: