Wald's equation - Wikipedia
Wald's equation In probability theory, Wald's equation, Wald's identity[1] or Wald's lemma[2] is an important identity that simplifies the calculation of the expected value of the sum of a random number of random quantities.