P
Initializing...
An exact finite bound for the8000-shift rounded pair sum · Prove2Me