§5, proof of Theorem 15, p.20 — the progress measure takes at most $1+m(m+1)(m+5)/6\le m^3$ values

Initializing...

§5, proof of Theorem 15, p.20 — the progress measure takes at most $1+m(m+1)(m+5)/6\le m^3$ values · Prove2Me