 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.