P
Initializing...
Prime-power recursion for $\tau$ (Mordell 1917) · Prove2Me