P

Initializing...

Theorem II.3 — the factor $1/3$ is tight for Algorithm 1 · Prove2Me