Ma · Mathematics

Find the Supremum, Infimum, lim sup, and lim inf of 2 − 1/n

Published By the 9to5Science editorial team

At a glance

  1. 1. Fix the index

    Take n to be a positive integer, so the sequence begins at n = 1.

  2. 2. Check the bounds

    The terms are at least 1 and strictly less than 2.

  3. 3. Identify the extrema

    The first term is 1; the terms approach 2 without reaching it.

  4. 4. Find the tail limits

    The tail infima and tail suprema both tend to 2.

Assume nn ranges over the positive integers, so the sequence starts at n=1n=1. The first terms are 1,  3/2,  5/3,  7/4,…1,\; 3/2,\; 5/3,\; 7/4,\ldots. They increase toward 22, but none equals 22.

Therefore, the range has infimum 11 and supremum 22. The infimum is attained as the minimum; the supremum is not attained, so there is no maximum. The sequence converges to 22, which means its limit superior and limit inferior are both 22.

Find the infimum and supremum

For every positive integer nn, we have 1/n>01/n>0 and 1/n≤11/n\leq 1. Subtracting from 22 gives

1≤2−1n<2.1\leq 2-\frac{1}{n}<2.

The lower bound is attained at n=1n=1, since a1=2−1=1a_1=2-1=1. Thus 11 is the minimum of the sequence values and, consequently, their infimum:

inf⁡{an:n∈N, n≥1}=1.\inf\{a_n:n\in\mathbb{N},\ n\geq 1\}=1.

The same inequality shows that 22 is an upper bound. To see that it is the least upper bound, take any ε>0\varepsilon>0. Choose a positive integer n>1/εn>1/\varepsilon. Then

2−ε<2−1n<2.2-\varepsilon<2-\frac{1}{n}<2.

So terms get arbitrarily close to 22 from below. No number smaller than 22 can be an upper bound, and therefore

sup⁡{an:n∈N, n≥1}=2.\sup\{a_n:n\in\mathbb{N},\ n\geq 1\}=2.

Since an<2a_n<2 for every nn, this supremum is not attained: the sequence has no maximum.

Compute lim sup and lim inf

The limit superior and limit inferior describe the limiting behavior of the tails of a sequence. For a bounded sequence, they are defined by

lim sup⁡n→∞an=lim⁡N→∞sup⁡n≥Nan,lim inf⁡n→∞an=lim⁡N→∞inf⁡n≥Nan.\limsup_{n\to\infty}a_n=\lim_{N\to\infty}\sup_{n\geq N}a_n, \qquad \liminf_{n\to\infty}a_n=\lim_{N\to\infty}\inf_{n\geq N}a_n.

Here the sequence is increasing, since

an+1−an=(2−1n+1)−(2−1n)=1n(n+1)>0.a_{n+1}-a_n=\left(2-\frac{1}{n+1}\right)-\left(2-\frac{1}{n}\right)=\frac{1}{n(n+1)}>0.

Consequently, in the tail beginning at NN, the smallest term is aNa_N, and the tail supremum is 22. The latter is a supremum, not a maximum: all terms in every tail remain strictly below 22. Hence

inf⁡n≥Nan=aN=2−1N,sup⁡n≥Nan=2.\inf_{n\geq N}a_n=a_N=2-\frac{1}{N}, \qquad \sup_{n\geq N}a_n=2.

As NN tends to infinity, aNa_N tends to 22, while the tail suprema are already equal to 22. Thus

lim inf⁡n→∞an=2,lim sup⁡n→∞an=2.\boxed{\liminf_{n\to\infty}a_n=2,\qquad \limsup_{n\to\infty}a_n=2.}

This also follows from the usual limit: an=2−1/n→2a_n=2-1/n\to2. Whenever a sequence converges to a finite limit, its lim inf and lim sup equal that limit.

A finite-term check

The first five terms are

1,32,53,74,95.1,\quad \frac{3}{2},\quad \frac{5}{3},\quad \frac{7}{4},\quad \frac{9}{5}.

For these five terms alone, the minimum is 11 and the maximum is 9/59/5. For the whole infinite sequence, however, terms continue beyond 9/59/5 and approach 22. This illustrates why the maximum of a finite initial segment is not necessarily the supremum of the complete sequence.

Common mistakes

  • Calling 22 the maximum: A maximum must be a term of the sequence. Here 2−1/n<22-1/n<2 for every finite positive nn, so 22 is only the supremum.
  • Confusing the first term with the limit: The first term is 11; the terms approach 22. The infimum of the range is not the sequence’s limit.
  • Using only the limit to find the infimum: Knowing the limit is 22 does not by itself identify the infimum. Check all terms; here they are at least 11, and a1=1a_1=1.
  • Ignoring the indexing convention: Some texts use N\mathbb{N} for positive integers, while others include zero. Since 2−1/n2-1/n is undefined at n=0n=0, this sequence must be indexed by positive integers.
QuantityValueAttained?
Infimum11Yes; it is the minimum at n=1n=1
Supremum22No; it is not a term
Limit inferior22Not an extremum of the original range
Limit superior22Not an extremum of the original range

Spotted an error? Send a correction. Read how we write and check articles in our editorial policy.