Conversely, for a supermartingale define
The assumed equality of expectations gives
A nonnegative random variable of expectation zero vanishes almost surely, so
for every . Hence is a martingale. Together with part (i), this proves the constant-expectation supermartingale is a martingale criterion.