Math 2.0

Number theory Object

Euler–Mascheroni constant

Builds on Harmonic numberNatural logarithmHarmonic numbers grow like log n

Description

The Euler–Mascheroni constant is the real number γ=lim⁡n→∞(Hn−ln⁡n)≈0.5772156649,\gamma = \lim_{n \to \infty} \big( H_n - \ln n \big) \approx 0.5772156649, where Hn=1+12+⋯+1nH_n = 1 + \frac{1}{2} + \cdots + \frac{1}{n} is the nn-th harmonic number.

Remarks

The limit exists, because the sequence Hn−ln⁡nH_n - \ln n is decreasing and bounded below by 00. Also γ=∫1∞(1⌊x⌋−1x) dx\gamma = \int_1^\infty \Big( \frac{1}{\lfloor x \rfloor} - \frac{1}{x} \Big) \, dx. It is not known whether γ\gamma is rational. Mathlib defines it as Real.eulerMascheroniConstant. Leonhard Euler introduced the constant in a paper of 1734. Lorenzo Mascheroni later computed it to more decimal places, with some errors.

Reading path

To understand this page from the ground up, read these 70 pages in order. The foundations come first.

  1. Big O notation definition
  2. Harmonic number definition
  3. Limit point of a set definition
  4. Local maximum definition
  5. Partition of an interval definition
  6. Sequence definition
  7. Strictly monotone function definition
  8. Little o notation definition
  9. Limit of a function definition
  10. Local minimum definition
  11. Mesh of a partition definition
  12. Riemann sum definition
  13. Real sequence definition
  14. Subsequence definition
  15. Asymptotic equivalence definition
  16. Continuity at a point definition
  17. Derivative definition
  18. One-sided limit definition
  19. Riemann integrable function definition
  20. Bounded sequence definition
  21. Geometric sequence definition
  22. Limit of a sequence definition
  23. Monotone sequence definition
  24. Series definition
  25. Continuous function definition
  26. Epsilon-delta definition of continuity statement
  27. Fermat's theorem on stationary points statement
  28. Sum of a finite geometric series statement
  29. Monotone convergence theorem for sequences statement
  30. Convergent sequence definition
  31. Every sequence has a monotone subsequence statement
  32. Squeeze theorem statement
  33. Cauchy product definition
  34. Partial sum definition
  35. Power series definition
  36. Intermediate value theorem statement
  37. Composition of continuous functions is continuous statement
  38. One-sided limits of a monotone function exist statement
  39. Bolzano–Weierstrass theorem statement
  40. The sequence r^n tends to zero for |r| < 1 example
  41. Radius of convergence definition
  42. Convergent series definition
  43. Boundedness theorem statement
  44. Chain rule statement
  45. Continuity of the inverse of a strictly monotone continuous function statement
  46. A series of nonnegative terms converges iff its partial sums are bounded statement
  47. Absolute convergence definition
  48. Sum of a series definition
  49. Extreme value theorem statement
  50. Derivative of an inverse function statement
  51. Comparison test statement
  52. Geometric series example
  53. Cauchy product of absolutely convergent series statement
  54. Rolle's theorem statement
  55. Ratio test statement
  56. Mean value theorem statement
  57. Ratio formula for the radius of convergence statement
  58. Second fundamental theorem of calculus statement
  59. A function with positive derivative is strictly increasing statement
  60. The exponential series has infinite radius of convergence statement
  61. Exponential function definition
  62. Exponential of a sum statement
  63. The exponential function is positive statement
  64. The exponential function is its own derivative statement
  65. The exponential function is strictly increasing statement
  66. Natural logarithm definition
  67. Derivative of the logarithm statement
  68. Integral of 1/x statement
  69. Harmonic numbers grow like log n statement
  70. Euler–Mascheroni constant object

Where this leads

4 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Euler%27s_constant, lead section
About this page
Tag00C5P9JZBK
URIm2://00C5P9JZBK
Aliaseseuler-constant
Kindobject
WritingW1 stated
MSC11Y60
UsesHarmonic number, Natural logarithm, Harmonic numbers grow like log n
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • section Invariants: a table of the main invariants (0 of 1)
  • edge instance_of out (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by