P
Initializing...
A cubic sum with a triple-product correction bounds the linear sum · Prove2Me