P
Initializing...
Theorem 5.1 — deterministic OLO has regret at least √2 LD√T/4 · Prove2Me