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