P
Initializing...
A pairwise-product correction bound at sum three · Prove2Me