MHB Logarithm and harmonic numbers

Click For Summary
The discussion revolves around proving the relationship between harmonic numbers and logarithms, specifically that H_n = ln n + γ + ε_n. It references the limit condition that as n approaches infinity, H_n approaches ln n + γ. The user expresses uncertainty about their approach, questioning whether it is correct. They emphasize the importance of the epsilon condition, which ensures that the difference between H_n and the logarithmic expression can be made arbitrarily small. The conversation highlights the complexities involved in understanding the asymptotic behavior of harmonic numbers.
alyafey22
Gold Member
MHB
Messages
1,556
Reaction score
2
I need to prove that

$$H_n = \ln n + \gamma + \epsilon_n $$

Using that

$$\lim_{n \to \infty} H_n - \ln n = \gamma $$

we conclude that

$$\forall \, \epsilon > 0 \,\,\,\, \exists k \,\,\,\, $$ such that $$\,\,\, \forall k \geq n \,\,\, $$ the following holds

$$|H_n - \ln n -\gamma | < \epsilon $$

$$H_n < \ln n +\gamma +\epsilon $$

I think I used the wrong approach , didn't I ?
 
Physics news on Phys.org
Re: logarithm and harmonic numbers

ZaidAlyafey said:
I need to prove that

$$H_n = \ln n + \gamma + \epsilon_n $$

Using that

$$\lim_{n \to \infty} H_n - \ln n = \gamma $$

we conclude that

$$\forall \, \epsilon > 0 \,\,\,\, \exists k \,\,\,\, $$ such that $$\,\,\, \forall k \geq n \,\,\, $$ the following holds

$$|H_n - \ln n -\gamma | < \epsilon $$

$$H_n < \ln n +\gamma +\epsilon $$

I think I used the wrong approach , didn't I ?

http://mathhelpboards.com/discrete-mathematics-set-theory-logic-15/difference-equation-tutorial-draft-part-i-426.html#post2494

Kind regards

$\chi$ $\sigma$
 
Re: logarithm and harmonic numbers

chisigma said:
http://mathhelpboards.com/discrete-mathematics-set-theory-logic-15/difference-equation-tutorial-draft-part-i-426.html#post2494

Kind regards

$\chi$ $\sigma$

My friend this is amazing , I must have time to read that , keep it up .
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 17 ·
Replies
17
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K