I understand that the harmonic series diverges because of the comparison test: $$1+\frac12+\frac13+\frac14+\frac15+\frac16+\frac17+\frac18+\cdots\\\ge1+\frac12+\frac14+\frac14+\frac18+\frac18+\frac18+\frac18+\cdots$$However, I cannot intuitively understand why this is the case if $$\lim_{n \to \infty}\left(\frac{1}{n}\right)=0$$ Previosly, I thought an easy way of checking whether a series is convergent is if the above condition is true. However, the harmonic series has shown to me that this is not always the same the case—sometimes a series can diverge even if the terms approach $0$. Why does the harmonic series diverge but series such as $1+\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\cdots$ do not?
2026-04-03 13:13:25.1775222005
Bumbble Comm
On
Why does the harmonic series diverge if $\lim_{n \to \infty}\left(\frac{1}{n}\right)=0$?
269 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
There are 2 best solutions below
0
Bumbble Comm
On
How about this example, $\sqrt n\to\infty$ as $n\to\infty$, as I hope you'd agree? Let $a_1=1$, $a_2=\sqrt2-1$, $a_3=\sqrt3-\sqrt2,\ldots,a_n=\sqrt n-\sqrt{n-1},\ldots$. Then $a_1+\cdots+a_n=\sqrt n$, and so the series $\sum_{n=1}^\infty a_n$ is divergent. But you can prove that $a_n$ is approximately $\frac1{2\sqrt n}$ and that $a_n\to0$ as $n\to\infty$. So there's another series whose terms tend to zero, but is divergent. I hope this isn't too painful.
Related Questions in REAL-ANALYSIS
- how is my proof on equinumerous sets
- Finding radius of convergence $\sum _{n=0}^{}(2+(-1)^n)^nz^n$
- Optimization - If the sum of objective functions are similar, will sum of argmax's be similar
- On sufficient condition for pre-compactness "in measure"(i.e. in Young measure space)
- Justify an approximation of $\sum_{n=1}^\infty G_n/\binom{\frac{n}{2}+\frac{1}{2}}{\frac{n}{2}}$, where $G_n$ denotes the Gregory coefficients
- Calculating the radius of convergence for $\sum _{n=1}^{\infty}\frac{\left(\sqrt{ n^2+n}-\sqrt{n^2+1}\right)^n}{n^2}z^n$
- Is this relating to continuous functions conjecture correct?
- What are the functions satisfying $f\left(2\sum_{i=0}^{\infty}\frac{a_i}{3^i}\right)=\sum_{i=0}^{\infty}\frac{a_i}{2^i}$
- Absolutely continuous functions are dense in $L^1$
- A particular exercise on convergence of recursive sequence
Related Questions in SEQUENCES-AND-SERIES
- How to show that $k < m_1+2$?
- Justify an approximation of $\sum_{n=1}^\infty G_n/\binom{\frac{n}{2}+\frac{1}{2}}{\frac{n}{2}}$, where $G_n$ denotes the Gregory coefficients
- Negative Countdown
- Calculating the radius of convergence for $\sum _{n=1}^{\infty}\frac{\left(\sqrt{ n^2+n}-\sqrt{n^2+1}\right)^n}{n^2}z^n$
- Show that the sequence is bounded below 3
- A particular exercise on convergence of recursive sequence
- Proving whether function-series $f_n(x) = \frac{(-1)^nx}n$
- Powers of a simple matrix and Catalan numbers
- Convergence of a rational sequence to a irrational limit
- studying the convergence of a series:
Related Questions in LIMITS
- How to prove $\lim_{n \rightarrow\infty} e^{-n}\sum_{k=0}^{n}\frac{n^k}{k!} = \frac{1}{2}$?
- limit points at infinity
- Calculating the radius of convergence for $\sum _{n=1}^{\infty}\frac{\left(\sqrt{ n^2+n}-\sqrt{n^2+1}\right)^n}{n^2}z^n$
- Maximal interval of existence of the IVP
- Divergence of power series at the edge
- Compute $\lim_{x\to 1^+} \lim_{n\to\infty}\frac{\ln(n!)}{n^x} $
- why can we expand an expandable function for infinite?
- Infinite surds on a number
- Show that f(x) = 2a + 3b is continuous where a and b are constants
- If $a_{1}>2$and $a_{n+1}=a_{n}^{2}-2$ then Find $\sum_{n=1}^{\infty}$ $\frac{1}{a_{1}a_{2}......a_{n}}$
Related Questions in CONVERGENCE-DIVERGENCE
- Finding radius of convergence $\sum _{n=0}^{}(2+(-1)^n)^nz^n$
- Conditions for the convergence of :$\cos\left( \sum_{n\geq0}{a_n}x^n\right)$
- Proving whether function-series $f_n(x) = \frac{(-1)^nx}n$
- Pointwise and uniform convergence of function series $f_n = x^n$
- studying the convergence of a series:
- Convergence in measure preserves measurability
- If $a_{1}>2$and $a_{n+1}=a_{n}^{2}-2$ then Find $\sum_{n=1}^{\infty}$ $\frac{1}{a_{1}a_{2}......a_{n}}$
- Convergence radius of power series can be derived from root and ratio test.
- Does this sequence converge? And if so to what?
- Seeking an example of Schwartz function $f$ such that $ \int_{\bf R}\left|\frac{f(x-y)}{y}\right|\ dy=\infty$
Related Questions in INTUITION
- How to see line bundle on $\mathbb P^1$ intuitively?
- Intuition for $\int_Cz^ndz$ for $n=-1, n\neq -1$
- Intuition on Axiom of Completeness (Lower Bounds)
- What is the point of the maximum likelihood estimator?
- Why are functions of compact support so important?
- What is it, intuitively, that makes a structure "topological"?
- geometric view of similar vs congruent matrices
- Weighted average intuition
- a long but quite interesting adding and deleting balls problem
- What does it mean, intuitively, to have a differential form on a Manifold (example inside)
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
The implication only goes one way: if $\sum_n a_n<\infty$, then $a_n\to 0$, but not the other way around. As your examples show, if $a_n\to 0$ then both convergence and divergence of the series are possible.
Instead, it has to do with the speed at which $a_n$ converges to $0$. Exponential convergence (like the $1+\tfrac12+\tfrac14+\cdots$ series you wrote) is extremely fast, so the series converges. Polynomial convergence (like $\sum_n 1/n^2,\sum_n 1/n^3$, etc) is a lot slower than exponential, but fast enough for the sum to converge when the power is greater than $1$. But it is too slow when the power is $1$ or smaller.
The intuition behind this is that when you sum a polynomial expression, its degree increases by $1$. That's why the cutoff is at degree $-1$, since when you sum it the cutoff translates to degree $0$ polynomials, which on the one side (slightly negative) stays bounded, and on the other side (slightly positive) tends to $\infty$.