P
Initializing...
Theorem 10, first claim — no spin-block algorithm is competitive within a factor less than $e/(e-1)$ · Prove2Me