P
Initializing...
Lemma 3: tie probability when r ≤ 1/2 · Prove2Me