P
Initializing...
A factorial bound with a power of two · Prove2Me