Fair_Games_Theorem.Piecewise_Stopping_Time