• Sequence at Wikipedia.

296280 more-or-less notable sequences are collected onThe On-Line Encyclopedia of Integer Sequences. See alsomathigon,mathsisfun etc.

(0,0,0,0,...)

Unlike a set, a sequence may contain nothing but zero and still be infinite. That is, all members (in other words, elements or terms) of a sequence may be equal to 0; or, say, to 71, if you prefer: (71,71,71,71,...).

(1,2,3,...)

Then-th member is equal ton.

This sequence is strictly increasing (that is, each member is less than the next member).

The odd subsequence (1,3,5,...) contains all odd natural numbers; the even subsequence (2,4,6,...) contains all even natural numbers. More generally, for every sequence${\displaystyle (a_1,a_2,a_3,\dots )}$ one may consider its odd subsequence${\displaystyle (a_1,a_3,a_5,\dots )}$ and even subsequence${\displaystyle (a_2,a_4,a_6,\dots ).}$

(0,1,-1,2,-2,...)

Existence of such sequence shows that the set of all integers (including negative) is countable.

This sequence is non-monotone (that is, neither increasing nor decreasing). All integers cannot be contained in a monotone sequence, since an increasing sequence is bounded from below, and a decreasing sequence is bounded from above (think, why).

Then-th member is equal to

Just for fun, these two formulas may be combined,

${\displaystyle \frac{1+(-1{)}^n(2n-1)}{4},}$

but this is not required. Two (and more) formulas are a legitimate way to define a sequence. More generally, any two sequences${\displaystyle (a_1,a_2,\dots )}$ and${\displaystyle (b_1,b_2,\dots )}$ may be interspersed into a single sequence${\displaystyle (c_1,c_2,\dots )=(a_1,b_1,a_2,b_2,\dots );}$ here

The odd subsequence${\displaystyle (c_1,c_3,c_5,\dots )}$ of the new sequence${\displaystyle (c_1,c_2,\dots )}$ is equal to the first sequence${\displaystyle (a_1,a_2,\dots );}$ similarly, the even subsequence${\displaystyle (c_2,c_4,c_6,\dots )}$ equals${\displaystyle (b_1,b_2,\dots ).}$

(1,2,1,3,1,2,1,4,1,2,1,3,1,2,1,5,1,2,...)

The odd subsequence (1,1,1,...) contains only 1. The even subsequence (2,3,2,4,2,3,2,5,2,...) differs from the whole sequence only by 1 added to every member. Thus, the odd subsequence of the even subsequence contains only 2. And so on... That is, denotingn-th member by${\displaystyle a_n,}$ we have${\displaystyle a_{2n}=a_n+1.}$

Then-th member is equal to the numberq such that${\displaystyle \frac{n}{2^{q-1}}}$ is an odd integer. Thus,${\displaystyle \frac{n}{2^{q-1}}=2p-1}$ for some integerp. Using thisp instead ofq we get another sequence containing every natural number infinitely many times:
(1,1,2,1,3,2,4,1,5,3,6,2,7,4,...)
The odd subsequence is just (1,2,3,...). The even subsequence (1,1,2,1,3,2,4,...) is equal to the whole sequence. That is, denotingn-th member by${\displaystyle b_n,}$ we have${\displaystyle b_{2n}=b_n.}$

In contrast, a monotone sequence cannot contain both 1 and 2 infinitely many times (think, why).

${\displaystyle (1,\frac{1}{2},2,\frac{1}{3},3,1,4,\frac{1}{4},5,\frac{3}{2},6,\frac{2}{3},\dots )}$

Then-th member is equal to${\displaystyle \frac{p}{q}}$ for positive integersp,q such that${\displaystyle n=(2p-1)\cdot 2^{q-1}.}$ That is,${\displaystyle a_{(2p-1)\cdot 2^{q-1}}=\frac{p}{q}.}$ Thus,${\displaystyle a_1=a_{1\cdot 2^0}=a_{(2\cdot 1-1)\cdot 2^{1-1}}=\frac{1}{1}=1;}$${\displaystyle a_2=a_{1\cdot 2^1}=a_{(2\cdot 1-1)\cdot 2^{2-1}}=\frac{1}{2};}$${\displaystyle a_3=a_{3\cdot 2^0}=a_{(2\cdot 2-1)\cdot 2^{1-1}}=\frac{2}{1}=2;}$${\displaystyle a_4=a_{1\cdot 2^2}=a_{(2\cdot 1-1)\cdot 2^{3-1}}=\frac{1}{3};}$${\displaystyle a_5=a_{5\cdot 2^0}=a_{(2\cdot 3-1)\cdot 2^{1-1}}=\frac{3}{1}=3;}$${\displaystyle a_6=a_{3\cdot 2^1}=a_{(2\cdot 2-1)\cdot 2^{2-1}}=\frac{2}{2}=1;}$and so on. Every positive rational number${\displaystyle \frac{p}{q}}$ appears in this sequence asn-th member${\displaystyle a_n}$ for${\displaystyle n=(2p-1)\cdot 2^{q-1}.}$

Existence of such sequence shows that the set of all positive rational numbers is countable.

And moreover,${\displaystyle \frac{p}{q}}$ appears infinitely many times, not only for${\displaystyle n=(2p-1)\cdot 2^{q-1},}$ but also for${\displaystyle n=(4p-1)\cdot 2^{2q-1},}$${\displaystyle n=(6p-1)\cdot 2^{3q-1}}$ and so on.

Every number is an accumulation point of this sequence (that is, every neighborhood of the given number contains infinitely many members of the sequence; equivalently, the given number is the limit of some subsequence). In contrast, a monotone sequence may have only one accumulation point, namely, the limit of the whole sequence (think, why).

The functionf defined by${\displaystyle f(q-1,p-1)+1=(2p-1)\cdot 2^{q-1}}$ for integer${\displaystyle p,q>0,}$ that is,${\displaystyle f(x,y)=(2y+1)\cdot 2^x-1}$ for integer${\displaystyle x,y\ge 0,}$ is an example of the so-called pairing function.

• Pairing function at Wikipedia.

• Factorial at Wikipedia.

(1,2,6,24,120,720,...)

Then-th member is equaln times the (n-1)-th member:${\displaystyle a_n=n{a}_{n-1}}$ for all${\displaystyle n>1.}$ This is a so-called recurrence relation: each further member is defined as a function of its number and the preceding member.

• Recurrence relation at Wikipedia.

And the first member is equal to one:${\displaystyle a_1=1.}$Thus, then-th member is the product of all natural numbers from 1 ton; it is called the factorial ofn and denoted by${\displaystyle n!.}$ For instance,${\displaystyle 5!=1\cdot 2\cdot 3\cdot 4\cdot 5=120.}$

Factorials are widely used. They appear in the binomial theorem, Taylor's theorem, most of well-known discrete probability distributions (binomial, negative binomial, multinomial, Poisson, hypergeometric) etc.

A wonderful approximation for large factorials is given by Stirling's formula${\displaystyle n!\sim \sqrt{2\pi n}{n}^n{e}^{-n}.}$Its relative error${\displaystyle |1-\frac{\sqrt{2\pi n}{n}^n{e}^{-n}}{n!}|}$ tends to zero (asn tends to infinity), but the absolute error${\displaystyle |n!-\sqrt{2\pi n}{n}^n{e}^{-n}|}$ tends to infinity.

• Stirling's approximation at Wikipedia.

• Fibonacci number at Wikipedia.

(1,1,2,3,5,8,13,21,...)

Then-th member is equal the (n-1)-th member plus the (n-2)-th member:${\displaystyle a_n=a_{n-1}+a_{n-2}}$ for all${\displaystyle n>2}$ (a recurrence relation, again). And the first two members are equal to one:${\displaystyle a_1=a_2=1.}$ Thus,${\displaystyle a_3=a_2+a_1=1+1=2;}$${\displaystyle a_4=a_3+a_2=2+1=3;}$${\displaystyle a_5=a_4+a_3=3+2=5;}$ and so on.

In the 17th century Johannes Kepler observed that ratios of consecutive Fibonacci numbers${\displaystyle (\frac{1}{1},\frac{2}{1},\frac{3}{2},\frac{5}{3},\dots )}$ converge to a limit:${\displaystyle \frac{a_{n+1}}{a_n}\to \phi }$ (as${\displaystyle n\to \mathrm{\infty }}$) for some number${\displaystyle \phi .}$ If so, then necessarily${\displaystyle \frac{a_{n+2}}{a_{n+1}}\to \phi ,}$ therefore${\displaystyle \frac{a_{n+1}+a_n}{a_{n+1}}\to \phi ,}$ that is,${\displaystyle 1+\frac{a_n}{a_{n+1}}\to \phi ;}$ taking into account that${\displaystyle \frac{a_n}{a_{n+1}}\to \frac{1}{\phi }}$ we get${\displaystyle 1+\frac{1}{\phi }=\phi ,}$ that is,${\displaystyle \phi +1={\phi }^2;}$ a quadratic equation on${\displaystyle \phi .}$ It has two roots,${\displaystyle (1\pm \sqrt{5})/2,}$ one greater than 1, another smaller than 1. Clearly, the limit${\displaystyle \phi }$ cannot be smaller than 1 (since${\displaystyle \frac{a_{n+1}}{a_n}}$ cannot); thus, this limit (if exists) must be${\displaystyle \phi =(1+\sqrt{5})/2.}$ This number is the famous "golden ratio" treated already by Euclid about 2300 years ago.

• Golden ratio at Wikipedia.

We wonder about the error of the approximate equality${\displaystyle \frac{a_{n+1}}{a_n}\approx \phi }$ (for largen), that is,${\displaystyle a_{n+1}\approx \phi a_n.}$ The absolute error being${\displaystyle |a_{n+1}-\phi a_n|,}$ we investigate the difference${\displaystyle a_{n+1}-\phi a_n;}$ how does it change withn? Is${\displaystyle a_{n+2}-\phi a_{n+1}}$ greater or smaller (in absolute value) than${\displaystyle a_{n+1}-\phi a_n?}$

Using the recurrence relation and the property of${\displaystyle \phi }$ we get${\displaystyle a_{n+2}-\phi a_{n+1}=a_{n+1}+a_n-\phi a_{n+1}=(1-\phi )a_{n+1}+a_n=-\frac{1}{\phi }{a}_{n+1}+a_n=-\frac{1}{\phi }(a_{n+1}-\phi a_n),}$ which shows that the investigated difference changes the sign and decreases in the absolute value. By induction,${\displaystyle a_{n+1}-\phi a_n=(-\frac{1}{\phi }{)}^{n-1}(a_2-\phi a_1)}$ for alln. Introducing${\displaystyle \psi =-\frac{1}{\phi },}$ noting that${\displaystyle \psi =1-\phi }$ and recalling that${\displaystyle a_1=a_2=1}$ we get${\displaystyle a_{n+1}-\phi a_n={\psi }^n,}$ which shows that the absolute error is decreasing and converges to 0 (since).Existence of the limit follows:${\displaystyle \frac{a_{n+1}}{a_n}=\phi +\frac{a_{n+1}-\phi a_n}{a_n}\to \phi .}$

Interestingly, the property${\displaystyle 1+\frac{1}{\phi }=\phi }$ of${\displaystyle \phi }$ leads to a similar property${\displaystyle 1+\frac{1}{\psi }=\psi }$ of${\displaystyle \psi ,}$ as follows:${\displaystyle 1+\frac{1}{\psi }=1-\phi =-\frac{1}{\phi }=\psi .}$ Thus,${\displaystyle \psi }$ is nothing but the other root of the quadratic equation:${\displaystyle \psi =(1-\sqrt{5})/2.}$

The proof of the equality${\displaystyle a_{n+1}-\phi a_n=(-\frac{1}{\phi }{)}^{n-1}(a_2-\phi a_1)}$ given above does not use any other property of${\displaystyle \phi ,}$ and therefore it holds for${\displaystyle \psi }$ as well:${\displaystyle a_{n+1}-\psi a_n=(-\frac{1}{\psi }{)}^{n-1}(a_2-\psi a_1),}$ that is (as before)${\displaystyle a_{n+1}-\psi a_n={\phi }^n.}$

Having explicit formulas for${\displaystyle a_{n+1}-\phi a_n={\psi }^n}$ and${\displaystyle a_{n+1}-\psi a_n={\phi }^n}$ it is easy to get an explicit formula for${\displaystyle a_n.}$ We just subtract the first formula from the second and get${\displaystyle (\phi -\psi )a_n={\phi }^n-{\psi }^n,}$ that is, the wonderful formula

${\displaystyle a_n=\frac{(1+\sqrt{5}{)}^n-(1-\sqrt{5}{)}^n}{2^n\sqrt{5}}.}$

It follows that${\displaystyle a_n}$ is the closest integer to${\displaystyle {\phi }^n/\sqrt{5}.}$

• Pi#Irrationality and normality at Wikipedia.

(3,1,4,1,5,9,2,6,5,...)
By definition,n-th member of this sequence is equal to${\displaystyle \lfloor 10\cdot \{{10}^{n-2}\pi \}\rfloor ;}$ here${\displaystyle \lfloor x\rfloor }$ is the integral part ofx, and${\displaystyle \{x\}=x-\lfloor x\rfloor }$ is the fractional part ofx. Thus,
the first member is${\displaystyle \lfloor 10\cdot \{{10}^{-1}\pi \}\rfloor =\lfloor 10\cdot \{0.3141\dots \}\rfloor =\lfloor 10\cdot 0.3141\dots \rfloor =\lfloor 3.141\dots \rfloor =3;}$
the second member is${\displaystyle \lfloor 10\cdot \{{10}^0\pi \}\rfloor =\lfloor 10\cdot \{3.141\dots \}\rfloor =\lfloor 10\cdot 0.141\dots \rfloor =\lfloor 1.41\dots \rfloor =1;}$
the third member is${\displaystyle \lfloor 10\cdot \{{10}^1\pi \}\rfloor =\lfloor 10\cdot \{31.41\dots \}\rfloor =\lfloor 10\cdot 0.41\dots \rfloor =\lfloor 4.1\dots \rfloor =4;}$ and so on.

In order to calculate${\displaystyle \pi }$ one may use the formula${\displaystyle \pi =3+\frac{4}{2\cdot 3\cdot 4}-\frac{4}{4\cdot 5\cdot 6}+\frac{4}{6\cdot 7\cdot 8}-\frac{4}{8\cdot 9\cdot 10}+\dots .}$ Trillions (that is, millions of millions) of decimal digits of${\displaystyle \pi }$ are calculated using better formulas. They look as if they are random! On one hand, this is natural, since we do not know any reason for any regularity in this sequence. On the other hand, this is paradoxical, since in these digits there is not the slightest chance. The equality${\displaystyle \lfloor 10\cdot \{{10}^1\pi \}\rfloor =4}$ is a mathematical theorem, as well as the equality${\displaystyle \lfloor 10\cdot \{{10}^{41}\pi \}\rfloor =9}$, and the same can be said about${\displaystyle \lfloor 10\cdot \{{10}^{n-2}\pi \}\rfloor }$ for everyn. (See alsoNumerical calculations and rigorous mathematics.) Each of these (seemingly random) digits, being an eternal mathematical truth, could not be different. Тhis puzzling situation is vividly discussed, seeWicklin,Preuss,mathoverfow etc. "To put our ignorance in perspective, note that it is not even known that all digits appear infinitely often: perhaps Pi = 3.1415926.....01001000100001000001..." (Stan Wagon,Is Pi normal?)

• Book:Examples and counterexamples in mathematics