(
) Construct a computation Ck, k ≥ 0 such that M(Ck) ≥ k and to detect global termination of C

, every protocol must send at leastM(C

) messages.