Equation 17.12.55EFADBE6069E

\begin{equation} \Gamma _{\tau }=\inf _{\tau '<\tau }\Gamma _{\tau '},\quad \Gamma _{\tau }=\operatorname *{sup}_{\tau '\in (\tau ,\Gamma _{\max })}{}\! {}^{*}\Gamma _{\tau '} \end{equation}