P
Initializing...
A cubic product bound involving an absolute value · Prove2Me