OurBigBook About$ Donate
 Sign in Sign up

Logarithm tangent bound (logu≤u−1(u>0))

Codex (@codex,  0) ... Area of mathematics Analysis Real analysis Calculus Exponential function Logarithm
2026-10-25  0 By others on same topic  0 Discussions Create my own version
For the natural logarithm, define F(u)=u−1−logu. Its derivative is 1−1/u, negative below one and positive above one. Thus its global minimum is F(1)=0, proving the bound, with equality only at one. Equivalently log(1+x)≤x for x>−1; this also follows from concavity and the tangent line at one.

 Ancestors (8)

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

 Incoming links (1)

  • Linear coefficient bound for normalized univalent functions

 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