P
Initializing...
A power of six factorial divides its iterated factorial · Prove2Me