
\begin{displaymath}S_k = \{ n: n ~ \mbox{has~stopping~time~$k$ }  \} 
\end{displaymath}
