P
Initializing...
A squared pairwise-product bound under lower bounds · Prove2Me