P
Initializing...
Olson's growth dichotomy: $nA = \langle A\rangle$ or $|nA| \ge |A| + (n-1)\lfloor\tfrac{1}{2}(|A|+1)\rfloor$ · Prove2Me