P
Initializing...
An exponential lower bound for every natural number · Prove2Me