1: \begin{definition}\label{D: z*}

2: In part 2 of Theorem \ref{T: Two Line Optimal in One Constraint Sase}, define $z^{*}=\zbar$ in the first case when $\frac{1}{\bar{a}}\le\frac{\lambda-P(\bar{A})}{1-\tilde{P}(\bar{A})}$; define $z^{*}=E[X^{*}]$ in the second case when $\frac{1}{\bar{a}}>\frac{\lambda-P(\bar{A})}{1-\tilde{P}(\bar{A})}$.

3: \end{definition}

4: