P
Initializing...
Lemma 3.4: two rescalings of a polynomial lower bound on the growth function · Prove2Me