P
Initializing...
Theorem 3.2, upper bound: a finitely generated nilpotent group grows at most like $m^{E_2}$ · Prove2Me