P
Initializing...
Theorem 3.2, lower bound: a finitely generated nilpotent group grows at least like $m^{E_1}$ · Prove2Me