P
Initializing...
A seventh-power difference bound under a nonnegative sum · Prove2Me