Wald identity

For an integrable stopping time and i.i.d. integrable increments, the expected stopped sum equals expected stopping time times mean increment.