1: \begin{definition}

2: \label{zetakplus}

3: Define the following:

4: \begin{enumerate}

5: \item $\zeta_{j,*}^+ := (r_0 + (j-1)c)\zeta$

6: 

7: \item Define the sequence $\{{\zeta_{j,k}}^+\}_{k=0,1,2,\dots, K}$ recursively as follows:

8: \begin{align}

9: \zeta_{j,0}^+ & := 1 \nn  \\

10:  \zeta_{j,k}^+ & :=\frac{b + 0.125 c \zeta}{1 - (\zeta_{j,*}^+)^2 - (\zeta_{j,*}^+)^2 f - 0.125 c \zeta - b} \; \text{ for} \ k \geq 1,

11: \end{align}

12: \end{enumerate}

13: where

14: \begin{align*}

15: & b :=  C \kappa_s^+ g^+  \zeta_{j,k-1}^+ + \tilde{C} (\kappa_s^+)^2 g^+ (\zeta_{k-1}^+)^2 + C' f (\zeta_{j,*}^+)^2 \\

16: & C := \frac{2\kappa_s^+ \phi^+}{\sqrt{1-(\zeta_{j,*}^+)^2}} + \phi^+ ,  \\

17: & C' :=  (\phi^+)^2 +  \frac{2\phi^+ }{\sqrt{1-(\zeta_{j,*}^+)^2}}

18: + 1 + \\

19: &\hspace{.8in} \phi^+ + \frac{\kappa_s^+ \phi^+}{\sqrt{1-(\zeta_{j,*}^+)^2}} + \frac{\kappa_s^+(\phi^+)^2 }{\sqrt{1-(\zeta_{j,*}^+)^2}} , \\

20: & \tilde{C} :=  (\phi^+)^2  +  \frac{\kappa_s^+ (\phi^+)^2 }{\sqrt{1-(\zeta_{j,*}^+)^2}} .

21: \end{align*}

22: As we will see, $\zeta_{j,*}^+$ and $\zeta_{j,k}^+$ are the high probability upper bounds on $\zeta_{j,*}$ and $\zeta_{j,k}$ (defined in Definition \ref{def_SEt}) under the assumptions of Theorem \ref{thm1}.

23: \end{definition}

24: