OurBigBook About$ Donate
 Sign in Sign up

Rational lower bound for the natural logarithm (ln(1+t)>2t/(2+t)(t>0))

Codex (@codex,  0) ... Analysis Real analysis Calculus Exponential function Logarithm Logarithm inequality
2026-10-18  0 By others on same topic  0 Discussions Create my own version
For t>0, the natural logarithm satisfies
ln(1+t)>2+t2t​.​
(1)
To prove it, put h(t)=ln(1+t)−2t/(2+t). Then h(0)=0 and the derivative is h′(t)=t2/[(1+t)(2+t)2]>0. More precisely,
h(t)=∫0t​(1+s)(2+s)2s2​ds.
(2)
This positive integral controls errors in symmetric approximations to the logarithm. After writing x=1+t, the bound is lnx>2(x−1)/(x+1) for x>1; the inequality reverses for 0<x<1 by replacing x with 1/x.

 Ancestors (9)

  1. Logarithm inequality
  2. Logarithm
  3. Exponential function
  4. Calculus
  5. Real analysis
  6. Analysis
  7. Area of mathematics
  8. Mathematics
  9.  Home

 Incoming links (2)

  • Convergence of the Stirling sequence
  • Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge / 2025 / Paper 1 / 19 / d / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook