P
Initializing...
Lemma 3.3 — $\|B_k\|_2\le 3((1+\bar\theta+\tau)/\tau)^m-2$ · Prove2Me