P
Initializing...
Explicit inverse-log-square majorant for the interval shift budget · Prove2Me