Integral of 1/x
Builds on Natural logarithmDerivative of the logarithmSecond fundamental theorem of calculus
Statement
Let be real numbers of the same sign, both nonzero. Then In particular, for .
Remarks
The function is an antiderivative of on each of and , by the derivative of the logarithm.
Some texts use the second formula as the definition of the natural logarithm.
The integral over an interval that contains does not exist.
Mathlib states it as integral_inv, under the hypothesis .
Reading path
To understand this page from the ground up, read these 64 pages in order. The foundations come first.
- Limit point of a set definition
- Local maximum definition
- Partition of an interval definition
- Sequence definition
- Strictly monotone function definition
- Limit of a function definition
- Local minimum definition
- Mesh of a partition definition
- Riemann sum definition
- Real sequence definition
- Subsequence definition
- Continuity at a point definition
- Derivative definition
- One-sided limit definition
- Riemann integrable function definition
- Bounded sequence definition
- Geometric sequence definition
- Limit of a sequence definition
- Monotone sequence definition
- Series definition
- Continuous function definition
- Epsilon-delta definition of continuity statement
- Fermat's theorem on stationary points statement
- Sum of a finite geometric series statement
- Monotone convergence theorem for sequences statement
- Convergent sequence definition
- Every sequence has a monotone subsequence statement
- Squeeze theorem statement
- Cauchy product definition
- Partial sum definition
- Power series definition
- Intermediate value theorem statement
- Composition of continuous functions is continuous statement
- One-sided limits of a monotone function exist statement
- Bolzano–Weierstrass theorem statement
- The sequence r^n tends to zero for |r| < 1 example
- Radius of convergence definition
- Convergent series definition
- Chain rule statement
- Boundedness theorem statement
- Continuity of the inverse of a strictly monotone continuous function statement
- A series of nonnegative terms converges iff its partial sums are bounded statement
- Absolute convergence definition
- Sum of a series definition
- Extreme value theorem statement
- Derivative of an inverse function statement
- Comparison test statement
- Geometric series example
- Cauchy product of absolutely convergent series statement
- Rolle's theorem statement
- Ratio test statement
- Mean value theorem statement
- Ratio formula for the radius of convergence statement
- A function with positive derivative is strictly increasing statement
- Second fundamental theorem of calculus statement
- The exponential series has infinite radius of convergence statement
- Exponential function definition
- Exponential of a sum statement
- The exponential function is positive statement
- The exponential function is its own derivative statement
- The exponential function is strictly increasing statement
- Natural logarithm definition
- Derivative of the logarithm statement
- Integral of 1/x statement
Where this leads
8 pages build on this one.
Further reading
- Web https://en.wikipedia.org/wiki/Natural_logarithm, Integration
About this page
| Tag | 0K1N1Y4EGZ |
|---|---|
| URI | m2://0K1N1Y4EGZ |
| Kind | statement, proposition |
| Writing | W0 stub |
| MSC | 26A36 |
| Status | This copy of the site has no build data. Run m2 status 0K1N1Y4EGZ. |
| Uses | Natural logarithm, Derivative of the logarithm, Second fundamental theorem of calculus |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.