P
Initializing...
A shifted polynomial bound under a sum and lower bounds · Prove2Me