P
Initializing...
A uniform exponential-deficit bound for nonnegative arguments at most one half · Prove2Me