Exponential decay for a function tending to zero whose derivative dominates its absolute value up to an exponential error

Initializing...

Exponential decay for a function tending to zero whose derivative dominates its absolute value up to an exponential error · Prove2Me