P
Initializing...
Cycle minimum is at most $\approx a\,3^{a-1}$ · Prove2Me