Rational lower bound for the natural logarithm

ID: rational-lower-bound-for-the-natural-logarithm

For , the natural logarithm satisfies
To prove it, put . Then and the derivative is . More precisely,
This positive integral controls errors in symmetric approximations to the logarithm. After writing , the bound is for ; the inequality reverses for by replacing with .

New to topics? Read the docs here!