Nonnegative local martingale
= Nonnegative local martingale
Every nonnegative <local martingale> is a <supermartingale>. In particular, one that starts from zero is identically zero: its nonnegative value at every time has expectation at most zero.