supermartingale (martingale + super-; above_excessive)
A stochastic process for which the conditional expectation of future values given the sequence of all prior values is bounded above by the current value