Lemma 21.7 / Corollary 21.8: the Standard Optimal Algorithm has mistake bound M_SOA(H) ≤ Ldim(H)

Initializing...

Lemma 21.7 / Corollary 21.8: the Standard Optimal Algorithm has mistake bound M_SOA(H) ≤ Ldim(H) · Prove2Me