P
Initializing...
A uniform two-parameter polynomial bound from an eventual power bound · Prove2Me