P
Initializing...
A weighted shifted ratio sum has an upper bound in the total · Prove2Me