P
Initializing...
Lemma 3.1 — the number of weight augmentation steps is at most $(n+1)\,\alpha\log(m^2(1+1/n))$ · Prove2Me