P
Initializing...
Section d, p.8 — Bob's criterion gives $1 \ge F \ge 1 - 2\varepsilon$ · Prove2Me