P
Initializing...
A polynomial bound for a logarithm · Prove2Me