A round of competing timers is contested with probability at most contestedBound n δ Mmin

Initializing...

A round of competing timers is contested with probability at most contestedBound n δ Mmin · Prove2Me