Zero is absorbing for a nonnegative supermartingale
= Zero is absorbing for a nonnegative supermartingale
If a nonnegative <supermartingale> reaches zero at a discrete <stopping time>, its later nonnegative values have conditional <expectation> at most zero and must also be zero <almost surely>.