Optional stopping theorem (source code)

= Optional stopping theorem
{wiki=Optional_stopping_theorem}