P
Initializing...
A mixed quartic ratio sum bounds the pair-product sum · Prove2Me