P
Initializing...
Two timers fire less than δ apart with probability at most about (2δ − 1)/Mmin · Prove2Me