Rational lower bound for the natural logarithm
ID: rational-lower-bound-for-the-natural-logarithm
For , the natural logarithm satisfiesTo 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!