Observation 1 — the class loop classifies every machine within m iterations, and at most ℓ machines have class at most ℓ

Initializing...

Observation 1 — the class loop classifies every machine within m iterations, and at most ℓ machines have class at most ℓ · Prove2Me