cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-10 of 101 results. Next

A138361 First differences of A068985.

Original entry on oeis.org

3, 1, 1, -1, 2, -5, 0, -3, 0, 6, -6, 3, 0, -2, 1, -1, -1, 4, 4, -4, 0, -3, 1, 4, 0, -7, 1, 5, -5, 3, 2, -6, 8, -2, 1, -3, 0, 1, 3, -7, 0, 0, 2, -2, -1, 3, -2, 6, -1, 1, 1, -5, 1, 1, -5, 7, 1, -5, 3, 2, -8, 1, 5, 3, -2, -3, 2, -5, 3, 5, -4, 2, -3, 0, 4, 1, 0, -1, -8, 3, 0, 2, 2, -6, 3, 3, -5, 5, -3, -1, 1, 1, 4, -8, 8, -3, -2, -1, 4, -3, 2, 0, -4, 5, -4, -1, 3
Offset: 1

Views

Author

Artur Jasinski, Mar 16 2008

Keywords

Crossrefs

Programs

  • Mathematica
    b = RealDigits[N[1/E, 1000]]; b = First[b]; a = {}; Do[k = b[[n + 1]] - b[[n]]; AppendTo[a, k], {n, 1, 999}]; a (*Artur Jasinski*)
    Differences[RealDigits[1/E,10,120][[1]]] (* Harvey P. Dale, Sep 14 2016 *)

A220261 Decimal expansion of (1/e) * log_10(e), where 1/e = A068985, log_10(e) = A002285.

Original entry on oeis.org

1, 5, 9, 7, 6, 8, 0, 1, 1, 3, 0, 6, 4, 0, 9, 3, 5, 2, 6, 7, 2, 1, 4, 4, 3, 2, 7, 7, 1, 3, 3, 1, 9, 3, 9, 0, 8, 5, 8, 7, 2, 4, 0, 5, 1, 6, 1, 5, 3, 4, 5, 1, 8, 8, 1, 4, 0, 9, 0, 9, 2, 6, 3, 8, 0, 7, 5, 6, 6, 6, 4, 7, 1, 6, 1, 0, 1, 1, 2, 0, 7, 9, 4, 9, 5, 8
Offset: 0

Views

Author

Jaroslav Krizek, Dec 08 2012

Keywords

Comments

Maximal value of function x * log_10(x) for x < 0 in x = -1/e.
-0,159768… = minimal value of function x * log_10(x) for x > 0 in x = 1/e.
Decimal expansion of 1 / (e * log(10)), where e = A001113, log(10) = A002392.

Examples

			0.15976801130640935267214...
		

Crossrefs

Programs

  • Mathematica
    RealDigits[1/E Log10[E],10,120][[1]] (* Harvey P. Dale, Aug 11 2019 *)

A001113 Decimal expansion of e.

Original entry on oeis.org

2, 7, 1, 8, 2, 8, 1, 8, 2, 8, 4, 5, 9, 0, 4, 5, 2, 3, 5, 3, 6, 0, 2, 8, 7, 4, 7, 1, 3, 5, 2, 6, 6, 2, 4, 9, 7, 7, 5, 7, 2, 4, 7, 0, 9, 3, 6, 9, 9, 9, 5, 9, 5, 7, 4, 9, 6, 6, 9, 6, 7, 6, 2, 7, 7, 2, 4, 0, 7, 6, 6, 3, 0, 3, 5, 3, 5, 4, 7, 5, 9, 4, 5, 7, 1, 3, 8, 2, 1, 7, 8, 5, 2, 5, 1, 6, 6, 4, 2, 7, 4, 2, 7, 4, 6
Offset: 1

Views

Author

Keywords

Comments

e is sometimes called Euler's number or Napier's constant.
Also, decimal expansion of sinh(1)+cosh(1). - Mohammad K. Azarian, Aug 15 2006
If m and n are any integers with n > 1, then |e - m/n| > 1/(S(n)+1)!, where S(n) = A002034(n) is the smallest number such that n divides S(n)!. - Jonathan Sondow, Sep 04 2006
Limit_{n->infinity} A000166(n)*e - A000142(n) = 0. - Seiichi Kirikami, Oct 12 2011
Euler's constant (also known as Euler-Mascheroni constant) is gamma = 0.57721... and Euler's number is e = 2.71828... . - Mohammad K. Azarian, Dec 29 2011
One of the many continued fraction expressions for e is 2+2/(2+3/(3+4/(4+5/(5+6/(6+ ... from Ramanujan (1887-1920). - Robert G. Wilson v, Jul 16 2012
e maximizes the value of x^(c/x) for any real positive constant c, and minimizes for it for a negative constant, on the range x > 0. This explains why elements of A000792 are composed primarily of factors of 3, and where needed, some factors of 2. These are the two primes closest to e. - Richard R. Forberg, Oct 19 2014
There are two real solutions x to c^x = x^c when c, x > 0 and c != e, one of which is x = c, and only one real solution when c = e, where the solution is x = e. - Richard R. Forberg, Oct 22 2014
This is the expected value of the number of real numbers that are independently and uniformly chosen at random from the interval (0, 1) until their sum exceeds 1 (Bush, 1961). - Amiram Eldar, Jul 21 2020

Examples

			2.71828182845904523536028747135266249775724709369995957496696762772407663...
		

References

  • Florian Cajori, A History of Mathematical Notations, Dover edition (2012), par. 400.
  • John H. Conway and Richard K. Guy, The Book of Numbers, New York: Springer-Verlag, 1996. See pp. 24, 250-256.
  • Steven R. Finch, Mathematical Constants, Cambridge, 2003, Section 1.3.
  • Jan Gullberg, Mathematics from the Birth of Numbers, W. W. Norton & Co., NY & London, 1997, §3.4 Irrational Numbers, p. 85.
  • E. Maor, e: The Story of a Number, Princeton Univ. Press, 1994.
  • Clifford A. Pickover, A Passion for Mathematics, Wiley, 2005; see p. 52.
  • G. W. Reitwiesner, An ENIAC determination of pi and e to more than 2000 decimal places. Math. Tables and Other Aids to Computation 4, (1950). 11-15.
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
  • Jerome Spanier and Keith B. Oldham, "Atlas of Functions", Hemisphere Publishing Corp., 1987, chapters 1 and 2, equations 1:7:4, 2:5:4 at pages 13, 20.
  • David Wells, The Penguin Dictionary of Curious and Interesting Numbers. Penguin Books, NY, 1986, Revised edition 1987. See p. 46.

Crossrefs

Cf. A002034, A003417 (continued fraction), A073229, A122214, A122215, A122216, A122217, A122416, A122417.
Expansion of e in base b: A004593 (b=2), A004594 (b=3), A004595 (b=4), A004596 (b=5), A004597 (b=6), A004598 (b=7), A004599 (b=8), A004600 (b=9), this sequence (b=10), A170873 (b=16). - Jason Kimberley, Dec 05 2012
Powers e^k: A092578 (k = -7), A092577 (k = -6), A092560 (k = -5), A092553 - A092555 (k = -2 to -4), A068985 (k = -1), A072334 (k = 2), A091933 (k = 3), A092426 (k = 4), A092511 - A092513 (k = 5 to 7).

Programs

  • Haskell
    -- See Niemeijer link.
    a001113 n = a001113_list !! (n-1)
    a001113_list = eStream (1, 0, 1)
       [(n, a * d, d) | (n, d, a) <- map (\k -> (1, k, 1)) [1..]] where
       eStream z xs'@(x:xs)
         | lb /= approx z 2 = eStream (mult z x) xs
         | otherwise = lb : eStream (mult (10, -10 * lb, 1) z) xs'
         where lb = approx z 1
               approx (a, b, c) n = div (a * n + b) c
               mult (a, b, c) (d, e, f) = (a * d, a * e + b * f, c * f)
    -- Reinhard Zumkeller, Jun 12 2013
  • Maple
    Digits := 200: it := evalf((exp(1))/10, 200): for i from 1 to 200 do printf(`%d,`,floor(10*it)): it := 10*it-floor(10*it): od: # James Sellers, Feb 13 2001
  • Mathematica
    RealDigits[E, 10, 120][[1]] (* Harvey P. Dale, Nov 14 2011 *)

Formula

e = Sum_{k >= 0} 1/k! = lim_{x -> 0} (1+x)^(1/x).
e is the unique positive root of the equation Integral_{u = 1..x} du/u = 1.
exp(1) = ((16/31)*(1 + Sum_{n>=1} ((1/2)^n*((1/2)*n^3 + (1/2)*n + 1)/n!)))^2. Robert Israel confirmed that the above formula is correct, saying: "In fact, Sum_{n=0..oo} n^j*t^n/n! = P_j(t)*exp(t) where P_0(t) = 1 and for j >= 1, P_j(t) = t (P_(j-1)'(t) + P_(j-1)(t)). Your sum is 1/2*P_3(1/2) + 1/2*P_1(1/2) + P_0(1/2)." - Alexander R. Povolotsky, Jan 04 2009
exp(1) = (1 + Sum_{n>=1} ((1+n+n^3)/n!))/7. - Alexander R. Povolotsky, Sep 14 2011
e = 1 + (2 + (3 + (4 + ...)/4)/3)/2 = 2 + (1 + (1 + (1 + ...)/4)/3)/2. - Rok Cestnik, Jan 19 2017
From Peter Bala, Nov 13 2019: (Start)
The series representation e = Sum_{k >= 0} 1/k! is the case n = 0 of the more general result e = n!*Sum_{k >= 0} 1/(k!*R(n,k)*R(n,k+1)), n = 0,2,3,4,..., where R(n,x) is the n-th row polynomial of A269953.
e = 2 + Sum_{n >= 0} (-1)^n*(n+2)!/(d(n+2)*d(n+3)), where d(n) = A000166(n).
e = Sum_{n >= 0} (x^2 + (n+2)*x + n)/(n!(n + x)*(n + 1 + x)), provided x is not zero or a negative integer. (End)
Equals lim_{n -> oo} (2*3*5*...*prime(n))^(1/prime(n)). - Peter Luschny, May 21 2020
e = 3 - Sum_{n >= 0} 1/((n+1)^2*(n+2)^2*n!). - Peter Bala, Jan 13 2022
e = lim_{n->oo} prime(n)*(1 - 1/n)^prime(n). - Thomas Ordowski, Jan 31 2023
e = 1+(1/1)*(1+(1/2)*(1+(1/3)*(1+(1/4)*(1+(1/5)*(1+(1/6)*(...)))))), equivalent to the first formula. - David Ulgenes, Dec 01 2023
From Michal Paulovic, Dec 12 2023: (Start)
Equals lim_{n->oo} (1 + 1/n)^n.
Equals x^(x^(x^...)) (infinite power tower) where x = e^(1/e) = A073229. (End)
Equals Product_{k>=1} (1 + 1/k) * (1 - 1/(k + 1)^2)^k. - Antonio Graciá Llorente, May 14 2024
Equals lim_{n->oo} Product_{k=1..n} (n^2 + k)/(n^2 - k) (see Finch). - Stefano Spezia, Oct 19 2024
e ~ (1 + 9^((-4)^(7*6)))^(3^(2^85)), correct to more than 18*10^24 digits (Richard Sabey, 2004); see Haran and Grime link. - Paolo Xausa, Dec 21 2024.

A000166 Subfactorial or rencontres numbers, or derangements: number of permutations of n elements with no fixed points.

Original entry on oeis.org

1, 0, 1, 2, 9, 44, 265, 1854, 14833, 133496, 1334961, 14684570, 176214841, 2290792932, 32071101049, 481066515734, 7697064251745, 130850092279664, 2355301661033953, 44750731559645106, 895014631192902121, 18795307255050944540, 413496759611120779881, 9510425471055777937262
Offset: 0

Views

Author

Keywords

Comments

Euler (1809) not only gives the first ten or so terms of the sequence, he also proves both recurrences a(n) = (n-1)*(a(n-1) + a(n-2)) and a(n) = n*a(n-1) + (-1)^n.
a(n) is the permanent of the matrix with 0 on the diagonal and 1 elsewhere. - Yuval Dekel, Nov 01 2003
a(n) is the number of desarrangements of length n. A desarrangement of length n is a permutation p of {1,2,...,n} for which the smallest of all the ascents of p (taken to be n if there are no ascents) is even. Example: a(3) = 2 because we have 213 and 312 (smallest ascents at i = 2). See the J. Désarménien link and the Bona reference (p. 118). - Emeric Deutsch, Dec 28 2007
a(n) is the number of deco polyominoes of height n and having in the last column an even number of cells. A deco polyomino is a directed column-convex polyomino in which the height, measured along the diagonal, is attained only in the last column. - Emeric Deutsch, Dec 28 2007
Attributed to Nicholas Bernoulli in connection with a probability problem that he presented. See Problem #15, p. 494, in "History of Mathematics" by David M. Burton, 6th edition. - Mohammad K. Azarian, Feb 25 2008
a(n) is the number of permutations p of {1,2,...,n} with p(1)!=1 and having no right-to-left minima in consecutive positions. Example a(3) = 2 because we have 231 and 321. - Emeric Deutsch, Mar 12 2008
a(n) is the number of permutations p of {1,2,...,n} with p(n)! = n and having no left to right maxima in consecutive positions. Example a(3) = 2 because we have 312 and 321. - Emeric Deutsch, Mar 12 2008
Number of wedged (n-1)-spheres in the homotopy type of the Boolean complex of the complete graph K_n. - Bridget Tenner, Jun 04 2008
The only prime number in the sequence is 2. - Howard Berman (howard_berman(AT)hotmail.com), Nov 08 2008
From Emeric Deutsch, Apr 02 2009: (Start)
a(n) is the number of permutations of {1,2,...,n} having exactly one small ascent. A small ascent in a permutation (p_1,p_2,...,p_n) is a position i such that p_{i+1} - p_i = 1. (Example: a(3) = 2 because we have 312 and 231; see the Charalambides reference, pp. 176-180.) [See also David, Kendall and Barton, p. 263. - N. J. A. Sloane, Apr 11 2014]
a(n) is the number of permutations of {1,2,...,n} having exactly one small descent. A small descent in a permutation (p_1,p_2,...,p_n) is a position i such that p_i - p_{i+1} = 1. (Example: a(3)=2 because we have 132 and 213.) (End)
For n > 2, a(n) + a(n-1) = A000255(n-1); where A000255 = (1, 1, 3, 11, 53, ...). - Gary W. Adamson, Apr 16 2009
Connection to A002469 (game of mousetrap with n cards): A002469(n) = (n-2)*A000255(n-1) + A000166(n). (Cf. triangle A159610.) - Gary W. Adamson, Apr 17 2009
From Emeric Deutsch, Jul 18 2009: (Start)
a(n) is the sum of the values of the largest fixed points of all non-derangements of length n-1. Example: a(4)=9 because the non-derangements of length 3 are 123, 132, 213, and 321, having largest fixed points 3, 1, 3, and 2, respectively.
a(n) is the number of non-derangements of length n+1 for which the difference between the largest and smallest fixed point is 2. Example: a(3) = 2 because we have 1'43'2 and 32'14'; a(4) = 9 because we have 1'23'54, 1'43'52, 1'53'24, 52'34'1, 52'14'3, 32'54'1, 213'45', 243'15', and 413'25' (the extreme fixed points are marked).
(End)
a(n), n >= 1, is also the number of unordered necklaces with n beads, labeled differently from 1 to n, where each necklace has >= 2 beads. This produces the M2 multinomial formula involving partitions without part 1 given below. Because M2(p) counts the permutations with cycle structure given by partition p, this formula gives the number of permutations without fixed points (no 1-cycles), i.e., the derangements, hence the subfactorials with their recurrence relation and inputs. Each necklace with no beads is assumed to contribute a factor 1 in the counting, hence a(0)=1. This comment derives from a family of recurrences found by Malin Sjodahl for a combinatorial problem for certain quark and gluon diagrams (Feb 27 2010). - Wolfdieter Lang, Jun 01 2010
From Emeric Deutsch, Sep 06 2010: (Start)
a(n) is the number of permutations of {1,2,...,n, n+1} starting with 1 and having no successions. A succession in a permutation (p_1,p_2,...,p_n) is a position i such that p_{i+1} - p_i = 1. Example: a(3)=2 because we have 1324 and 1432.
a(n) is the number of permutations of {1,2,...,n} that do not start with 1 and have no successions. A succession in a permutation (p_1,p_2,...,p_n) is a position i such that p_{i+1} - p_i = 1. Example: a(3)=2 because we have 213 and 321.
(End)
Increasing colored 1-2 trees with choice of two colors for the rightmost branch of nonleave except on the leftmost path, there is no vertex of outdegree one on the leftmost path. - Wenjin Woan, May 23 2011
a(n) is the number of zeros in n-th row of the triangle in A170942, n > 0. - Reinhard Zumkeller, Mar 29 2012
a(n) is the maximal number of totally mixed Nash equilibria in games of n players, each with 2 pure options. - Raimundas Vidunas, Jan 22 2014
Convolution of sequence A135799 with the sequence generated by 1+x^2/(2*x+1). - Thomas Baruchel, Jan 08 2016
The number of interior lattice points of the subpolytope of the n-dimensional permutohedron whose vertices correspond to permutations avoiding 132 and 312. - Robert Davis, Oct 05 2016
Consider n circles of different radii, where each circle is either put inside some bigger circle or contains a smaller circle inside it (no common points are allowed). Then a(n) gives the number of such combinations. - Anton Zakharov, Oct 12 2016
If we partition the permutations of [n+1] in A000240 according to their starting digit, we will get (n+1) equinumerous classes each of size a(n), i.e., A000240(n+1) = (n+1)*a(n), hence a(n) is the size of each class of permutations of [n+1] in A000240. For example, for n = 4 we have 45 = 5*9. - Enrique Navarrete, Jan 10 2017
Call d_n1 the permutations of [n] that have the substring n1 but no substring in {12,23,...,(n-1)n}. If we partition them according to their starting digit, we will get (n-1) equinumerous classes each of size A000166(n-2) (the class starting with the digit 1 is empty since we must have the substring n1). Hence d_n1 = (n-1)*A000166(n-2) and A000166(n-2) is the size of each nonempty class in d_n1. For example, d_71 = 6*44 = 264, so there are 264 permutations in d_71 distributed in 6 nonempty classes of size A000166(5) = 44. (To get permutations in d_n1 recursively from more basic ones see the link "Forbidden Patterns" below.) - Enrique Navarrete, Jan 15 2017
Also the number of maximum matchings and minimum edge covers in the n-crown graph. - Eric W. Weisstein, Jun 14 and Dec 24 2017
The sequence a(n) taken modulo a positive integer k is periodic with exact period dividing k when k is even and dividing 2*k when k is odd. This follows from the congruence a(n+k) = (-1)^k*a(n) (mod k) for all n and k, which in turn is easily proved by induction making use of the recurrence a(n) = n*a(n-1) + (-1)^n. - Peter Bala, Nov 21 2017
a(n) is the number of distinct possible solutions for a directed, no self loop containing graph (not necessarily connected) that has n vertices, and each vertex has an in- and out-degree of exactly 1. - Patrik Holopainen, Sep 18 2018
a(n) is the dimension of the kernel of the random-to-top and random-to-random shuffling operators over a collection of n objects (in a vector space of size n!), as noticed by M. Wachs and V. Reiner. See the Reiner, Saliola and Welker reference below. - Nadia Lafreniere, Jul 18 2019
a(n) is the number of distinct permutations for a Secret Santa gift exchange with n participants. - Patrik Holopainen, Dec 30 2019
a(2*n+1) is even. More generally, a(m*n+1) is divisible by m*n, which follows from a(n+1) = n*(a(n) + a(n-1)) = n*A000255(n-1) for n >= 1. a(2*n) is odd; in fact, a(2*n) == 1 (mod 8). Other divisibility properties include a(6*n) == 1 (mod 24), a(9*n+4) == a(9*n+7) == 0 (mod 9), a(10*n) == 1 (mod 40), a(11*n+5) == 0 (mod 11) and a(13*n+8 ) == 0 (mod 13). - Peter Bala, Apr 05 2022
Conjecture: a(n) with n > 2 is a perfect power only for n = 4 with a(4) = 3^2. This has been verified for n <= 1000. - Zhi-Wei Sun, Jan 09 2025

Examples

			a(2) = 1, a(3) = 2 and a(4) = 9 since the possibilities are {BA}, {BCA, CAB} and {BADC, BCDA, BDAC, CADB, CDAB, CDBA, DABC, DCAB, DCBA}. - _Henry Bottomley_, Jan 17 2001
The Boolean complex of the complete graph K_4 is homotopy equivalent to the wedge of 9 3-spheres.
Necklace problem for n = 6: partitions without part 1 and M2 numbers for n = 6: there are A002865(6) = 4 such partitions, namely (6), (2,4), (3^2) and (2^3) in A-St order with the M2 numbers 5!, 90, 40 and 15, respectively, adding up to 265 = a(6). This corresponds to 1 necklace with 6 beads, two necklaces with 2 and 4 beads respectively, two necklaces with 3 beads each and three necklaces with 2 beads each. - _Wolfdieter Lang_, Jun 01 2010
G.f. = 1 + x^2 + 9*x^3 + 44*x^4 + 265*x^5 + 1854*x^6 + 14833*x^7 + 133496*x^8 + ...
		

References

  • U. Abel, Some new identities for derangement numbers, Fib. Q., 56:4 (2018), 313-318.
  • M. Bona, Combinatorics of Permutations, Chapman & Hall/CRC, Boca Raton, Florida, 2004.
  • Miklos Bona, editor, Handbook of Enumerative Combinatorics, CRC Press, 2015, page 32.
  • R. A. Brualdi and H. J. Ryser: Combinatorial Matrix Theory, 1992, Section 7.2, p. 202.
  • Ch. A. Charalambides, Enumerative Combinatorics, Chapman & Hall/CRC, Boca Raton, Florida, 2002.
  • L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 182.
  • Florence Nightingale David and D. E. Barton, Combinatorial Chance. Hafner, NY, 1962, p. 168.
  • Florence Nightingale David, Maurice George Kendall, and D. E. Barton, Symmetric Function and Allied Tables, Cambridge, 1966, p. 263, Table 7.5.1, row 1.
  • P. R. de Montmort, On the Game of Thirteen (1713), reprinted in Annotated Readings in the History of Statistics, ed. H. A. David and A. W. F. Edwards, Springer-Verlag, 2001, pp. 25-29.
  • J. M. de Saint-Martin, "Le problème des rencontres" in Quadrature, No. 61, pp. 14-19, 2006, EDP-Sciences Les Ulis (France).
  • H. Doerrie, 100 Great Problems of Elementary Mathematics, Dover, NY, 1965, p. 19.
  • Leonhard Euler, Solution quaestionis curiosae ex doctrina combinationum, Mémoires Académie sciences St. Pétersburg 3 (1809/1810), 57-64; also E738 in his Collected Works, series I, volume 7, pages 435-440.
  • J. M. Gandhi, On logarithmic numbers, Math. Student, 31 (1963), 73-83.
  • A. Hald, A History of Probability and Statistics and Their Applications Before 1750, Wiley, NY, 1990 (Chapter 19).
  • Irving Kaplansky, John Riordan, The problème des ménages. Scripta Math. 12 (1946), 113-124. See Eq(1).
  • Arnold Kaufmann, "Introduction à la combinatorique en vue des applications." Dunod, Paris, 1968. See p. 92.
  • Florian Kerschbaum and Orestis Terzidis, Filtering for Private Collaborative Benchmarking, in Emerging Trends in Information and Communication Security, Lecture Notes in Computer Science, Volume 3995/2006.
  • E. Lozansky and C. Rousseau, Winning Solutions, Springer, 1996; see p. 152.
  • P. A. MacMahon, Combinatory Analysis, 2 vols., Chelsea, NY, 1960, see p. 102.
  • M. S. Petković, "Non-attacking rooks", Famous Puzzles of Great Mathematicians, pp. 265-268, Amer. Math. Soc.(AMS), 2009.
  • V. Reiner, F. Saliola, and V. Welker. Spectra of Symmetrized Shuffling Operators, Memoirs of the American Mathematical Society, vol. 228, Amer. Math. Soc., Providence, RI, 2014, pp. 1-121. See section VI.9.
  • J. Riordan, An Introduction to Combinatorial Analysis, Wiley, 1958, p. 65.
  • H. J. Ryser, Combinatorial Mathematics. Mathematical Association of America, Carus Mathematical Monograph 14, 1963, p. 23.
  • T. Simpson, Permutations with unique fixed and reflected points. Ars Combin. 39 (1995), 97-108.
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
  • David Wells, The Penguin Dictionary of Curious and Interesting Numbers. Penguin Books, NY, 1986, Revised edition 1987. See p. 122.
  • D. B. West, Combinatorial Mathematics, Cambridge, 2021, p. 82.
  • H. S. Wilf, Generatingfunctionology, Academic Press, NY, 1990, p. 147, Eq. 5.2.9 (q=1).

Crossrefs

For the probabilities a(n)/n!, see A053557/A053556 and A103816/A053556.
A diagonal of A008291 and A068106. Column A008290(n,0).
A001120 has a similar recurrence.
For other derangement numbers see also A053871, A033030, A088991, A088992.
Pairwise sums of A002741 and A000757. Differences of A001277.
A diagonal in triangles A008305 and A010027.
a(n)/n! = A053557/A053556 = (N(n, n) of A103361)/(D(n, n) of A103360).
Column k=0 of A086764 and of A334715. Column k=1 of A364068.
Row sums of A216963 and of A323671.

Programs

  • Haskell
    a000166 n = a000166_list !! n
    a000166_list = 1 : 0 : zipWith (*) [1..]
                           (zipWith (+) a000166_list $ tail a000166_list)
    -- Reinhard Zumkeller, Dec 09 2012
    
  • Magma
    I:=[0,1]; [1] cat [n le 2 select I[n] else (n-1)*(Self(n-1)+Self(n-2)): n in [1..30]]; // Vincenzo Librandi, Jan 07 2016
  • Maple
    A000166 := proc(n) option remember; if n<=1 then 1-n else (n-1)*(procname(n-1)+procname(n-2)); fi; end;
    a:=n->n!*sum((-1)^k/k!, k=0..n): seq(a(n), n=0..21); # Zerinvary Lajos, May 17 2007
    ZL1:=[S,{S=Set(Cycle(Z,card>1))},labeled]: seq(count(ZL1,size=n),n=0..21); # Zerinvary Lajos, Sep 26 2007
    with (combstruct):a:=proc(m) [ZL,{ZL=Set(Cycle(Z,card>=m))},labeled]; end: A000166:=a(2):seq(count(A000166,size=n),n=0..21); # Zerinvary Lajos, Oct 02 2007
    Z := (x, m)->m!^2*sum(x^j/((m-j)!^2), j=0..m): R := (x, n, m)->Z(x, m)^n: f := (t, n, m)->sum(coeff(R(x, n, m), x, j)*(t-1)^j*(n*m-j)!, j=0..n*m): seq(f(0, n, 1), n=0..21); # Zerinvary Lajos, Jan 22 2008
    a:=proc(n) if `mod`(n,2)=1 then sum(2*k*factorial(n)/factorial(2*k+1), k=1.. floor((1/2)*n)) else 1+sum(2*k*factorial(n)/factorial(2*k+1), k=1..floor((1/2)*n)-1) end if end proc: seq(a(n),n=0..20); # Emeric Deutsch, Feb 23 2008
    G(x):=2*exp(-x)/(1-x): f[0]:=G(x): for n from 1 to 26 do f[n]:=diff(f[n-1],x) od: x:=0: seq(f[n]/2,n=0..21); # Zerinvary Lajos, Apr 03 2009
    seq(simplify(KummerU(-n, -n, -1)), n = 0..23); # Peter Luschny, May 10 2022
  • Mathematica
    a[0] = 1; a[n_] := n*a[n - 1] + (-1)^n; a /@ Range[0, 21] (* Robert G. Wilson v *)
    a[0] = 1; a[1] = 0; a[n_] := Round[n!/E] /; n >= 1 (* Michael Taktikos, May 26 2006 *)
    Range[0, 20]! CoefficientList[ Series[ Exp[ -x]/(1 - x), {x, 0, 20}], x]
    dr[{n_,a1_,a2_}]:={n+1,a2,n(a1+a2)}; Transpose[NestList[dr,{0,0,1},30]][[3]] (* Harvey P. Dale, Feb 23 2013 *)
    a[n_] := (-1)^n HypergeometricPFQ[{- n, 1}, {}, 1]; (* Michael Somos, Jun 01 2013 *)
    a[n_] := n! SeriesCoefficient[Exp[-x] /(1 - x), {x, 0, n}]; (* Michael Somos, Jun 01 2013 *)
    Table[Subfactorial[n], {n, 0, 21}] (* Jean-François Alcover, Jan 10 2014 *)
    RecurrenceTable[{a[n] == n*a[n - 1] + (-1)^n, a[0] == 1}, a, {n, 0, 23}] (* Ray Chandler, Jul 30 2015 *)
    Subfactorial[Range[0, 20]] (* Eric W. Weisstein, Dec 31 2017 *)
    nxt[{n_,a_}]:={n+1,a(n+1)+(-1)^(n+1)}; NestList[nxt,{0,1},25][[All,2]] (* Harvey P. Dale, Jun 01 2019 *)
  • Maxima
    s[0]:1$
    s[n]:=n*s[n-1]+(-1)^n$
    makelist(s[n],n,0,12); /* Emanuele Munarini, Mar 01 2011 */
    
  • PARI
    {a(n) = if( n<1, 1, n * a(n-1) + (-1)^n)}; /* Michael Somos, Mar 24 2003 */
    
  • PARI
    {a(n) = n! * polcoeff( exp(-x + x * O(x^n)) / (1 - x), n)}; /* Michael Somos, Mar 24 2003 */
    
  • PARI
    {a(n)=polcoeff(sum(m=0,n,m^m*x^m/(1+(m+1)*x+x*O(x^n))^(m+1)),n)} /* Paul D. Hanna */
    
  • PARI
    A000166=n->n!*sum(k=0,n,(-1)^k/k!) \\ M. F. Hasler, Jan 26 2012
    
  • PARI
    a(n)=if(n,round(n!/exp(1)),1) \\ Charles R Greathouse IV, Jun 17 2012
    
  • PARI
    apply( {A000166(n)=n!\/exp(n>0)}, [0..22]) \\ M. F. Hasler, Nov 09 2024
    
  • Python
    See Hobson link.
    
  • Python
    A000166_list, m, x = [], 1, 1
    for n in range(10*2):
        x, m = x*n + m, -m
        A000166_list.append(x) # Chai Wah Wu, Nov 03 2014
    

Formula

a(n) = A008290(n,0).
a(n) + A003048(n+1) = 2*n!. - D. G. Rogers, Aug 26 2006
a(n) = {(n-1)!/exp(1)}, n > 1, where {x} is the nearest integer function. - Simon Plouffe, March 1993 [This uses offset 1, see below for the version with offset 0. - Charles R Greathouse IV, Jan 25 2012]
a(0) = 1, a(n) = round(n!/e) = floor(n!/e + 1/2) for n > 0.
a(n) = n!*Sum_{k=0..n} (-1)^k/k!.
D-finite with recurrence a(n) = (n-1)*(a(n-1) + a(n-2)), n > 0.
a(n) = n*a(n-1) + (-1)^n.
E.g.f.: exp(-x)/(1-x).
a(n) = Sum_{k=0..n} binomial(n, k)*(-1)^(n-k)*k! = Sum_{k=0..n} (-1)^(n-k)*n!/(n-k)!. - Paul Barry, Aug 26 2004
The e.g.f. y(x) satisfies y' = x*y/(1-x).
Inverse binomial transform of A000142. - Ross La Haye, Sep 21 2004
In Maple notation, representation as n-th moment of a positive function on [-1, infinity]: a(n)= int( x^n*exp(-x-1), x=-1..infinity ), n=0, 1... . a(n) is the Hamburger moment of the function exp(-1-x)*Heaviside(x+1). - Karol A. Penson, Jan 21 2005
a(n) = A001120(n) - n!. - Philippe Deléham, Sep 04 2005
a(n) = Integral_{x=0..oo} (x-1)^n*exp(-x) dx. - Gerald McGarvey, Oct 14 2006
a(n) = Sum_{k=2,4,...} T(n,k), where T(n,k) = A092582(n,k) = k*n!/(k+1)! for 1 <= k < n and T(n,n)=1. - Emeric Deutsch, Feb 23 2008
a(n) = n!/e + (-1)^n*(1/(n+2 - 1/(n+3 - 2/(n+4 - 3/(n+5 - ...))))). Asymptotic result (Ramanujan): (-1)^n*(a(n) - n!/e) ~ 1/n - 2/n^2 + 5/n^3 - 15/n^4 + ..., where the sequence [1,2,5,15,...] is the sequence of Bell numbers A000110. - Peter Bala, Jul 14 2008
From William Vaughn (wvaughn(AT)cvs.rochester.edu), Apr 13 2009: (Start)
a(n) = Integral_{p=0..1} (log(1/(1-p)) - 1)^n dp.
Proof: Using the substitutions 1=log(e) and y = e(1-p) the above integral can be converted to ((-1)^n/e) Integral_{y=0..e} (log(y))^n dy.
From CRC Integral tables we find the antiderivative of (log(y))^n is (-1)^n n! Sum_{k=0..n} (-1)^k y(log(y))^k / k!.
Using the fact that e(log(e))^r = e for any r >= 0 and 0(log(0))^r = 0 for any r >= 0 the integral becomes n! * Sum_{k=0..n} (-1)^k / k!, which is line 9 of the Formula section. (End)
a(n) = exp(-1)*Gamma(n+1,-1) (incomplete Gamma function). - Mark van Hoeij, Nov 11 2009
G.f.: 1/(1-x^2/(1-2x-4x^2/(1-4x-9x^2/(1-6x-16x^2/(1-8x-25x^2/(1-... (continued fraction). - Paul Barry, Nov 27 2009
a(n) = Sum_{p in Pano1(n)} M2(p), n >= 1, with Pano1(n) the set of partitions without part 1, and the multinomial M2 numbers. See the characteristic array for partitions without part 1 given by A145573 in Abramowitz-Stegun (A-S) order, with A002865(n) the total number of such partitions. The M2 numbers are given for each partition in A-St order by the array A036039. - Wolfdieter Lang, Jun 01 2010
a(n) = row sum of A008306(n), n > 1. - Gary Detlefs, Jul 14 2010
a(n) = ((-1)^n)*(n-1)*hypergeom([-n+2, 2], [], 1), n>=1; 1 for n=0. - Wolfdieter Lang, Aug 16 2010
a(n) = (-1)^n * hypergeom([ -n, 1], [], 1), n>=1; 1 for n=0. From the binomial convolution due to the e.g.f. - Wolfdieter Lang, Aug 26 2010
Integral_{x=0..1} x^n*exp(x) = (-1)^n*(a(n)*e - n!).
O.g.f.: Sum_{n>=0} n^n*x^n/(1 + (n+1)*x)^(n+1). - Paul D. Hanna, Oct 06 2011
Abs((a(n) + a(n-1))*e - (A000142(n) + A000142(n-1))) < 2/n. - Seiichi Kirikami, Oct 17 2011
G.f.: hypergeom([1,1],[],x/(x+1))/(x+1). - Mark van Hoeij, Nov 07 2011
From Sergei N. Gladkovskii, Nov 25 2011, Jul 05 2012, Sep 23 2012, Oct 13 2012, Mar 09 2013, Mar 10 2013, Oct 18 2013: (Start)
Continued fractions:
In general, e.g.f. (1+a*x)/exp(b*x) = U(0) with U(k) = 1 + a*x/(1-b/(b-a*(k+1)/U(k+1))). For a=-1, b=-1: exp(-x)/(1-x) = 1/U(0).
E.g.f.: (1-x/(U(0)+x))/(1-x), where U(k) = k+1 - x + (k+1)*x/U(k+1).
E.g.f.: 1/Q(0) where Q(k) = 1 - x/(1 - 1/(1 - (k+1)/Q(k+1))).
G.f.: 1/U(0) where U(k) = 1 + x - x*(k+1)/(1 - x*(k+1)/U(k+1)).
G.f.: Q(0)/(1+x) where Q(k) = 1 + (2*k+1)*x/((1+x)-2*x*(1+x)*(k+1)/(2*x*(k+1)+(1+x)/ Q(k+1))).
G.f.: 1/Q(0) where Q(k) = 1 - 2*k*x - x^2*(k + 1)^2/Q(k+1).
G.f.: T(0) where T(k) = 1 - x^2*(k+1)^2/(x^2*(k+1)^2-(1-2*x*k)*(1-2*x-2*x*k)/T(k+1)). (End)
0 = a(n)*(a(n+1) + a(n+2) - a(n+3)) + a(n+1)*(a(n+1) + 2*a(n+2) - a(n+3)) + a(n+2)*a(n+2) if n>=0. - Michael Somos, Jan 25 2014
a(n) = Sum_{k = 0..n} (-1)^(n-k)*binomial(n,k)*(k + x)^k*(k + x + 1)^(n-k) = Sum_{k = 0..n} (-1)^(n-k)*binomial(n,k)*(k + x)^(n-k)*(k + x - 1)^k, for arbitrary x. - Peter Bala, Feb 19 2017
From Peter Luschny, Jun 20 2017: (Start)
a(n) = Sum_{j=0..n} Sum_{k=0..n} binomial(-j-1, -n-1)*abs(Stirling1(j, k)).
a(n) = Sum_{k=0..n} (-1)^(n-k)*Pochhammer(n-k+1, k) (cf. A008279). (End)
a(n) = n! - Sum_{j=0..n-1} binomial(n,j) * a(j). - Alois P. Heinz, Jan 23 2019
Sum_{n>=2} 1/a(n) = A281682. - Amiram Eldar, Nov 09 2020
a(n) = KummerU(-n, -n, -1). - Peter Luschny, May 10 2022
a(n) = (-1)^n*Sum_{k=0..n} Bell(k)*Stirling1(n+1, k+1). - Mélika Tebni, Jul 05 2022

Extensions

Minor edits by M. F. Hasler, Jan 16 2017

A001844 Centered square numbers: a(n) = 2*n*(n+1)+1. Sums of two consecutive squares. Also, consider all Pythagorean triples (X, Y, Z=Y+1) ordered by increasing Z; then sequence gives Z values.

Original entry on oeis.org

1, 5, 13, 25, 41, 61, 85, 113, 145, 181, 221, 265, 313, 365, 421, 481, 545, 613, 685, 761, 841, 925, 1013, 1105, 1201, 1301, 1405, 1513, 1625, 1741, 1861, 1985, 2113, 2245, 2381, 2521, 2665, 2813, 2965, 3121, 3281, 3445, 3613, 3785, 3961, 4141, 4325, 4513
Offset: 0

Views

Author

Keywords

Comments

These are Hogben's central polygonal numbers denoted by
...2...
....P..
...4.n.
Numbers of the form (k^2+1)/2 for k odd.
(y(2x+1))^2 + (y(2x^2+2x))^2 = (y(2x^2+2x+1))^2. E.g., let y = 2, x = 1; (2(2+1))^2 + (2(2+2))^2 = (2(2+2+1))^2, (2(3))^2 + (2(4))^2 = (2(5))^2, 6^2 + 8^2 = 10^2, 36 + 64 = 100. - Glenn B. Cox (igloos_r_us(AT)canada.com), Apr 08 2002
a(n) is also the number of 3 X 3 magic squares with sum 3(n+1). - Sharon Sela (sharonsela(AT)hotmail.com), May 11 2002
For n > 0, a(n) is the smallest k such that zeta(2) - Sum_{i=1..k} 1/i^2 <= zeta(3) - Sum_{i=1..n} 1/i^3. - Benoit Cloitre, May 17 2002
Number of convex polyominoes with a 2 X (n+1) minimal bounding rectangle.
The prime terms are given by A027862. - Lekraj Beedassy, Jul 09 2004
First difference of a(n) is 4n = A008586(n). Any entry k of the sequence is followed by k + 2*(1 + sqrt(2k - 1)). - Lekraj Beedassy, Jun 04 2006
Integers of the form 1 + x + x^2/2 (generating polynomial is Schur's polynomial as in A127876). - Artur Jasinski, Feb 04 2007
If X is an n-set and Y and Z disjoint 2-subsets of X then a(n-4) is equal to the number of 4-subsets of X intersecting both Y and Z. - Milan Janjic, Aug 26 2007
Row sums of triangle A132778. - Gary W. Adamson, Sep 02 2007
Binomial transform of [1, 4, 4, 0, 0, 0, ...]; = inverse binomial transform of A001788: (1, 6, 24, 80, 240, ...). - Gary W. Adamson, Sep 02 2007
Narayana transform (A001263) of [1, 4, 0, 0, 0, ...]. Equals A128064 (unsigned) * [1, 2, 3, ...]. - Gary W. Adamson, Dec 29 2007
k such that the Diophantine equation x^3 - y^3 = x*y + k has a solution with y = x-1. If that solution is (x,y) = (m+1,m) then m^2 + (m+1)^2 = k. Note that this Diophantine equation is an elliptic curve and (m+1,m) is an integer point on it. - James R. Buddenhagen, Aug 12 2008
Numbers k such that (k, k, 2*k-2) are the sides of an isosceles triangle with integer area. Also, k such that 2*k-1 is a square. - James R. Buddenhagen, Oct 17 2008
a(n) is also the least weight of self-conjugate partitions having n+1 different odd parts. - Augustine O. Munagi, Dec 18 2008
Prefaced with a "1": (1, 1, 5, 13, 25, 41, ...) = A153869 * (1, 2, 3, ...). - Gary W. Adamson, Jan 03 2009
Prefaced with a "1": (1, 1, 5, 13, 25, 41, ...) where a(n) = 2n*(n-1)+1, all tuples of square numbers (X-Y, X, X+Y) are produced by ((m*(a(n)-2n))^2, (m*a(n))^2, (m*(a(n)+2n-2))^2) where m is a whole number. - Doug Bell, Feb 27 2009
Equals (1, 2, 3, ...) convolved with (1, 3, 4, 4, 4, ...). E.g., a(3) = 25 = (1, 2, 3, 4) dot (4, 4, 3, 1) = (4 + 8 + 9 + 4). - Gary W. Adamson, May 01 2009
The running sum of squares taken two at a time. - Al Hakanson (hawkuu(AT)gmail.com), May 18 2009
Equals the odd integers convolved with (1, 2, 2, 2, ...). - Gary W. Adamson, May 25 2009
Equals the triangular numbers convolved with [1, 2, 1, 0, 0, 0, ...]. - Gary W. Adamson & Alexander R. Povolotsky, May 29 2009
When the positive integers are written in a square array by diagonals as in A038722, a(n) gives the numbers appearing on the main diagonal. - Joshua Zucker, Jul 07 2009
The finite continued fraction [n,1,1,n] = (2n+1)/(2n^2 + 2n + 1) = (2n+1)/a(n); and the squares of the first two denominators of the convergents = a(n). E.g., the convergents and value of [4,1,1,4] = 1/4, 1/5, 2/9, 9/41 where 4^2 + 5^2 = 41. - Gary W. Adamson, Jul 15 2010
From Keith Tyler, Aug 10 2010: (Start)
Running sum of A008574.
Square open pyramidal number; that is, the number of elements in a square pyramid of height (n) with only surface and no bottom nodes. (End)
For k>0, x^4 + x^2 + k factors over the integers iff sqrt(k) is in this sequence. - James R. Buddenhagen, Aug 15 2010
Create the simple continued fraction from Pythagorean triples to get [2n + 1; 2n^2 + 2n, 2n^2 + 2n + 1]; its value equals the rational number 2n + 1 + a(n) / (4n^4 + 8n^3 + 6n^2 + 2n + 1). - J. M. Bergot, Sep 30 2011
a(n), n >= 1, has in its prime number factorization only primes of the form 4*k+1, i.e., congruent to 1 (mod 4) (see A002144). This follows from the fact that a(n) is a primitive sum of two squares and odd. See Theorem 3.20, p. 164, in the given Niven-Zuckerman-Montgomery reference. E.g., a(3) = 25 = 5^2, a(6) = 85 = 5*17. - Wolfdieter Lang, Mar 08 2012
From Ant King, Jun 15 2012: (Start)
a(n) is congruent to 1 (mod 4) for all n.
The digital roots of the a(n) form a purely periodic palindromic 9-cycle 1, 5, 4, 7, 5, 7, 4, 5, 1.
The units' digits of the a(n) form a purely periodic palindromic 5-cycle 1, 5, 3, 5, 1.
(End)
Number of integer solutions (x,y) of |x| + |y| <= n. Geometrically: number of lattice points inside a square with vertices (n,0), (0,-n), (-n,0), (0,n). - César Eliud Lozada, Sep 18 2012
(a(n)-1)/a(n) = 2*x / (1+x^2) where x = n/(n+1). Note that in this form, this is the velocity-addition formula according to the special theory of relativity (two objects traveling at 1/(n+1) slower than c relative to each other appear to travel at 1/a(n) less than c to a stationary observer). - Christian N. K. Anderson, May 20 2013 [Corrected by Rémi Guillaume, May 22 2025]
A geometric curiosity: the envelope of the circles x^2 + (y-a(n)/2)^2 = ((2n+1)/2)^2 is the parabola y = x^2, the n=0 circle being the osculating circle at the parabola vertex. - Jean-François Alcover, Dec 02 2013
Draw n ellipses in the plane (n>0), any 2 meeting in 4 points; a(n-1) gives the number of internal regions into which the plane is divided (cf. A051890, A046092); a(n-1) = A051890(n) - 1 = A046092(n-1) + 1. - Jaroslav Krizek, Dec 27 2013
a(n) is also, of course, the scalar product of the 2-vector (n, n+1) (or (n+1, n)) with itself. The unique inverse of (n, n+1) as vector in the Clifford algebra over the Euclidean 2-space is (1/a(n))(0, n, n+1, 0) (similarly for the other vector). In general the unique inverse of such a nonzero vector v (odd element in Cl_2) is v^(-1) = (1/|v|^2) v. Note that the inverse with respect to the scalar product is not unique for any nonzero vector. See the P. Lounesto reference, sects. 1.7 - 1.12, pp. 7-14. See also the Oct 15 2014 comment in A147973. - Wolfdieter Lang, Nov 06 2014
Subsequence of A004431, for n >= 1. - Bob Selcoe, Mar 23 2016
Numbers k such that 2k - 1 is a perfect square. - Juri-Stepan Gerasimov, Apr 06 2016
The number of active (ON, black) cells in n-th stage of growth of two-dimensional cellular automaton defined by "Rule 574", based on the 5-celled von Neumann neighborhood. - Robert Price, May 13 2016
a(n) is the first integer in a sum of (2*n + 1)^2 consecutive integers that equals (2*n + 1)^4. - Patrick J. McNab, Dec 24 2016
Central elements of odd-length rows of the triangular array of positive integers. a(n) is the mean of the numbers in the (2*n + 1)-th row of this triangle. - David James Sycamore, Aug 01 2018
Intersection of A000982 and A080827. - David James Sycamore, Aug 07 2018
An off-diagonal of the array of Delannoy numbers, A008288, (or a row/column when the array is shown as a square). As such, this is one of the crystal ball sequences. - Jack W Grahl, Feb 15 2021 and Shel Kaphan, Jan 18 2023
a(n) appears as a solution to a "Riddler Express" puzzle on the FiveThirtyEight website. The Jan 21 2022 issue (problem) and the Jan 28 2022 issue (solution) present the following puzzle and include a proof. - Fold a square piece of paper in half, obtaining a rectangle. Fold again to obtain a square with 1/4 the size of the original square. Then make n cuts through the folded paper. a(n) is the greatest number of pieces of the unfolded paper after the cutting. - Manfred Boergens, Feb 22 2022
a(n) is (1/6) times the number of 2 X 2 triangles in the n-th order hexagram with 12*n^2 cells. - Donghwi Park, Feb 06 2024
If k is a centered square number, its index in this sequence is n = (sqrt(2k-1)-1)/2. - Rémi Guillaume, Mar 30 2025.
Row sums of the symmetric triangle of odd numbers [1]; [1, 3, 1]; [1, 3, 5, 3, 1]; [1, 3, 5, 7, 5, 3, 1]; .... - Marco Zárate, Jun 15 2025

Examples

			G.f.: 1 + 5*x + 13*x^2 + 25*x^3 + 41*x^4 + 61*x^5 + 85*x^6 + 113*x^7 + 145*x^8 + ...
The first few triples are (1,0,1), (3,4,5), (5,12,13), (7,24,25), ...
The first four such partitions, corresponding to n = 0,1,2,3, i.e., to a(n) = 1,5,13,25, are 1, 3+1+1, 5+3+3+1+1, 7+5+5+3+3+1+1. - _Augustine O. Munagi_, Dec 18 2008
		

References

  • T. M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976, page 3.
  • A. H. Beiler, Recreations in the Theory of Numbers. New York: Dover, p. 125, 1964.
  • L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 81.
  • John H. Conway and Richard K. Guy, The Book of Numbers, New York: Springer-Verlag, 1996. See p. 50.
  • Pertti Lounesto, Clifford Algebras and Spinors, second edition, Cambridge University Press, 2001.
  • S. Mukai, An Introduction to Invariants and Moduli, Cambridge, 2003; see p. 483.
  • Ivan Niven, Herbert S. Zuckerman and Hugh L. Montgomery, An Introduction to the Theory Of Numbers, Fifth Edition, John Wiley and Sons, Inc., NY 1991.
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
  • Travers et al., The Mysterious Lost Proof, Using Advanced Algebra, (1976), pp. 27.

Crossrefs

X values are A005408; Y values are A046092.
Cf. A008586 (first differences), A005900 (partial sums), A254373 (digital roots).
Subsequence of A004431.
Right edge of A055096; main diagonal of A069480, A078475, A129312.
Row n=2 (or column k=2) of A008288.
Cf. A016754.

Programs

  • Haskell
    a001844 n = 2 * n * (n + 1) + 1
    a001844_list = zipWith (+) a000290_list $ tail a000290_list
    -- Reinhard Zumkeller, Dec 04 2012
    
  • Magma
    [2*n^2 + 2*n + 1: n in [0..50]]; // Vincenzo Librandi, Jan 19 2013
    
  • Magma
    [n: n in [0..4400] | IsSquare(2*n-1)]; // Juri-Stepan Gerasimov, Apr 06 2016
    
  • Maple
    A001844:=-(z+1)**2/(z-1)**3; # Simon Plouffe in his 1992 dissertation
  • Mathematica
    Table[2n(n + 1) + 1, {n, 0, 50}]
    FoldList[#1 + #2 &, 1, 4 Range@ 50] (* Robert G. Wilson v, Feb 02 2011 *)
    maxn := 47; Flatten[Table[SeriesCoefficient[Series[(n + (n - 1)*x)/(1 - x)^2, {x, 0, maxn}], k], {n, maxn}, {k, n - 1, n - 1}]] (* L. Edson Jeffery, Aug 24 2014 *)
    CoefficientList[ Series[-(x^2 + 2x + 1)/(x - 1)^3, {x, 0, 48}], x] (* or *)
    LinearRecurrence[{3, -3, 1}, {1, 5, 13}, 48] (* Robert G. Wilson v, Aug 01 2018 *)
    Total/@Partition[Range[0,50]^2,2,1] (* Harvey P. Dale, Dec 05 2020 *)
    Table[ j! Coefficient[Series[Exp[x]*(1 + 4*x + 2*x^2), {x, 0, 20}], x,
    j], {j, 0, 20}] (* Nikolaos Pantelidis, Feb 07 2023 *)
  • PARI
    {a(n) = 2*n*(n+1) + 1};
    
  • PARI
    x='x+O('x^200); Vec((1+x)^2/(1-x)^3) \\ Altug Alkan, Mar 23 2016
    
  • Python
    print([2*n*(n+1)+1 for n in range(48)]) # Michael S. Branicky, Jan 05 2021
  • Sage
    [i**2 + (i + 1)**2 for i in range(46)] # Zerinvary Lajos, Jun 27 2008
    

Formula

a(n) = 2*n^2 + 2*n + 1 = n^2 + (n+1)^2.
a(n) = 1 + 3 + 5 + ... + 2*n-1 + 2*n+1 + 2*n-1 + ... + 3 + 1. - Amarnath Murthy, May 28 2001
a(n) = 1/real(z(n+1)) where z(1)=i, (i^2=-1), z(k+1) = 1/(z(k)+2i). - Benoit Cloitre, Aug 06 2002
Nearest integer to 1/Sum_{k>n} 1/k^3. - Benoit Cloitre, Jun 12 2003
G.f.: (1+x)^2/(1-x)^3.
E.g.f.: exp(x)*(1+4x+2x^2).
a(n) = a(n-1) + 4n.
a(-n) = a(n-1).
a(n) = A064094(n+3, n) (fourth diagonal).
a(n) = 1 + Sum_{j=0..n} 4*j. - Xavier Acloque, Oct 08 2003
a(n) = A046092(n)+1 = (A016754(n)+1)/2. - Lekraj Beedassy, May 25 2004
a(n) = Sum_{k=0..n+1} (-1)^k*binomial(n, k)*Sum_{j=0..n-k+1} binomial(n-k+1, j)*j^2. - Paul Barry, Dec 22 2004
a(n) = ceiling((2n+1)^2/2). - Paul Barry, Jul 16 2006
a(n) = 3*a(n-1) - 3*a(n-2) + a(n-3), a(0)=1, a(1)=5, a(2)=13. - Jaume Oliver Lafont, Dec 02 2008
a(n)*a(n-1) = 4*n^4 + 1 for n > 0. - Reinhard Zumkeller, Feb 12 2009
Prefaced with a "1" (1, 1, 5, 13, 25, 41, ...): a(n) = 2*n*(n-1)+1. - Doug Bell, Feb 27 2009
a(n) = sqrt((A056220(n)^2 + A056220(n+1)^2) / 2). - Doug Bell, Mar 08 2009
a(n) = floor(2*(n+1)^3/(n+2)). - Gary Detlefs, May 20 2010
a(n) = A000330(n) - A000330(n-2). - Keith Tyler, Aug 10 2010
a(n) = A069894(n)/2. - J. M. Bergot, Jun 11 2012
a(n) = 2*a(n-1) - a(n-2) + 4. - Ant King, Jun 12 2012
Sum_{n>=0} 1/a(n) = (Pi/2)*tanh(Pi/2) = 1.4406595199775... = A228048. - Ant King, Jun 15 2012
a(n) = A209297(2*n+1,n+1). - Reinhard Zumkeller, Jan 19 2013
a(n)^3 = A048395(n)^2 + A048395(-n-1)^2. - Vincenzo Librandi, Jan 19 2013
a(n) = A000217(2n+1) - n. - Ivan N. Ianakiev, Nov 08 2013
a(n) = A251599(3*n+1). - Reinhard Zumkeller, Dec 13 2014
a(n) = A101321(4,n). - R. J. Mathar, Jul 28 2016
From Ilya Gutkovskiy, Jul 30 2016: (Start)
a(n) = Sum_{k=0..n} A008574(k).
Sum_{n>=0} (-1)^(n+1)*a(n)/n! = exp(-1) = A068985. (End)
a(n) = 4 * A000217(n) + 1. - Bruce J. Nicholson, Jul 10 2017
a(n) = A002522(n) + A005563(n) = A002522(n+1) + A005563(n-1). - Bruce J. Nicholson, Aug 05 2017
Sum_{n>=0} a(n)/n! = 7*e. Sum_{n>=0} 1/a(n) = A228048. - Amiram Eldar, Jun 20 2020
a(n) = A000326(n+1) + A000217(n-1). - Charlie Marion, Nov 16 2020
a(n) = Integral_{x=0..2n+2} |1-x| dx. - Pedro Caceres, Dec 29 2020
From Amiram Eldar, Feb 17 2021: (Start)
Product_{n>=0} (1 + 1/a(n)) = cosh(sqrt(3)*Pi/2)*sech(Pi/2).
Product_{n>=1} (1 - 1/a(n)) = Pi*csch(Pi)*sinh(Pi/2). (End)
a(n) = A001651(n+1) + 1 - A028242(n). - Charlie Marion, Apr 05 2022
a(n) = A016754(n) - A046092(n). - Leo Tavares, Sep 16 2022
For n>0, a(n) = A101096(n+2) / 30. - Andy Nicol, Feb 06 2025
From Rémi Guillaume, Apr 21 2025: (Start)
a(n) = (2*A003215(n)+1)/3.
a(n) = (4*A005448(n+1)-1)/3.
a(n) + a(n-1) = A001845(n) - A001845(n-1), for n >= 1.
a(n) = (A005917(n+1))/(2n+1). (End)

Extensions

Partially edited by Joerg Arndt, Mar 11 2010

A163931 Decimal expansion of the higher-order exponential integral E(x, m=2, n=1) at x=1.

Original entry on oeis.org

0, 9, 7, 8, 4, 3, 1, 9, 7, 2, 1, 6, 6, 7, 0, 1, 7, 9, 3, 2, 5, 5, 3, 7, 7, 8, 9, 0, 4, 5, 2, 8, 0, 0, 8, 2, 7, 6, 9, 5, 8, 2, 2, 6, 9, 5, 3, 0, 2, 6, 5, 7, 6, 5, 5, 7, 4, 4, 2, 1, 2, 4, 2, 4, 5, 4, 4, 7, 1, 3, 7, 6, 2, 6, 1, 4, 0, 9, 0, 4, 8, 8, 7, 3, 6, 9, 6, 0, 4, 8, 9, 1, 8, 5, 5, 5, 0, 8, 9, 4, 5, 4, 6, 7, 0
Offset: 0

Views

Author

Johannes W. Meijer and Nico Baken, Aug 13 2009, Aug 17 2009

Keywords

Comments

We define the higher-order exponential integrals by E(x,m,n) = x^(n-1)*Integral_{t=x..infinity} E(t,m-1,n)/t^n for m >= 1 and n >= 1 with E(x,m=0,n) = exp(-x), see Meijer and Baken.
The properties of the E(x,m,n) are analogous to those of the well-known exponential integrals E(x,m=1,n), see Abramowitz and Stegun and the formulas.
The series expansions of the higher-order exponential integrals are dominated by the constants alpha(k,n), see A163927, and gamma(k,n) = G(k,n), see A090998.
For information about the asymptotic expansion of the E(x,m,n) see A163932.
Values of E(x,m,n) can be evaluated with the Maple program.

Examples

			E(1,2,1) = 0.09784319721667017932553778904528008276958226953026576557442124245....
		

Crossrefs

Cf. A163927 (alpha(k,n)), A090998 (gamma(k,n) = G(k,n)), A163932.
Cf. A068985 (E(x=1,m=0,n) = exp(-1)) and A099285 (E(x=1,m=1,n=1)).
Cf. A001563 (n*n!), A002775 (n^2*n!), A091363 (n^3*n!) and A091364 (n^4*n!).

Programs

  • Maple
    E:= proc(x,m,n) local nmax, kmax, EI, k1, k2, n1, n2; option remember: nmax:=20; kmax:=20; k1:=0: for n1 from 0 to nmax do alpha(k1,n1):=1 od: for k1 from 1 to kmax do for n1 from 1 to nmax do alpha(k1,n1) := (1/k1)*sum(sum(p^(-2*(k1-i1)),p=0..n1-1)*alpha(i1, n1),i1=0..k1-1) od; od: for n2 from 0 to kmax do G(0,n2):=1 od: for n2 from 1 to nmax do for k2 from 1 to kmax do G(k2,n2):=(1/k2)*(((gamma-sum(p^(-1),p=1..n2-1))*G(k2-1,n2)+ sum((Zeta(k2-i2)-sum(p^(-(k2-i2)), p=1..n2-1))*G(i2,n2),i2=0..k2-2))) od; od: EI:= evalf((-1)^m*((-x)^(n-1)/(n-1)!*sum(alpha(kz,n)*(G(m-2*kz,n)+sum(G(m-2*kz-i,n)*ln(x)^i/i!,i=1..m-2*kz)), kz=0..floor(m/2)) + sum((-x)^kx/((kx-n+1)^m*kx!),kx=0..n-2) + sum((-x)^ky/((ky-n+1)^m*ky!),ky=n..infinity))); return(EI): end:
  • Mathematica
    Join[{0}, RealDigits[ N[ EulerGamma^2/2 + Pi^2/12 - HypergeometricPFQ[{1, 1, 1}, {2, 2, 2}, -1], 104]][[1]]] (* Jean-François Alcover, Nov 07 2012, from 1st formula *)
  • PARI
    t=1; Euler^2/2 + Pi^2/12 + sumalt(k=1, t*=k; (-1)^k/(k^2*t)) \\ Charles R Greathouse IV, Nov 07 2016

Formula

E(x=1,m=2,n=1) = gamma^2/2 + Pi^2/12 + Sum_{k>=1} ((-1)^k/(k^2*k!)).
E(x=0,n,m) = (1/(n-1))^m for n >= 2.
Integral_{t=0..x} E(t,m,n) = 1/n^m - E(x,n,n+1).
dE(x,m,n+1)/dx = - E(x,m,n).
E(x,m,n+1) = (1/n)*(E(x,m-1,n+1) - x*E(x,m,n)).
E(x,m,n) = (-1)^m * ((-x)^(n-1)/(n-1)!) * Sum_{kz=0..floor(m/2)}(alpha (kz, n)*G(m-2*kz, n)) + (-1) ^m * ((-x)^(n-1)/(n-1)!) * Sum_{kz=0..floor(m/2)}(Sum_{i=1..m-2*kz}(alpha (kz, n) *G(m-2*kz-i, n)*log(x)^i/i!)) + (-1)^m * Sum_{ kx=0..n-2}((-x)^kx/((kx-n+1)^m*kx!) + (-1)^m * Sum_{ky>=n}((-x)^ky /(( ky-n+1)^m*ky!)).

A049470 Decimal expansion of cos(1).

Original entry on oeis.org

5, 4, 0, 3, 0, 2, 3, 0, 5, 8, 6, 8, 1, 3, 9, 7, 1, 7, 4, 0, 0, 9, 3, 6, 6, 0, 7, 4, 4, 2, 9, 7, 6, 6, 0, 3, 7, 3, 2, 3, 1, 0, 4, 2, 0, 6, 1, 7, 9, 2, 2, 2, 2, 7, 6, 7, 0, 0, 9, 7, 2, 5, 5, 3, 8, 1, 1, 0, 0, 3, 9, 4, 7, 7, 4, 4, 7, 1, 7, 6, 4, 5, 1, 7, 9, 5, 1, 8, 5, 6, 0, 8, 7, 1, 8, 3, 0, 8, 9
Offset: 0

Views

Author

Albert du Toit (dutwa(AT)intekom.co.za), N. J. A. Sloane

Keywords

Comments

Also, decimal expansion of the real part of e^i. - Bruno Berselli, Feb 08 2013
By the Lindemann-Weierstrass theorem, this constant is transcendental. - Charles R Greathouse IV, May 13 2019

Examples

			0.5403023058681397...
		

Crossrefs

Cf. A049469 (imaginary part of e^i), A211883 (real part of -(i^e)), A211884 (imaginary part of -(i^e)). - Bruno Berselli, Feb 08 2013
Cf. A073743 ( cosh(1) ), A073448, A275651.

Programs

Formula

Continued fraction representation: cos(1) = 1/(1 + 1/(1 + 2/(11 + 12/(29 + ... + (2*n - 2)*(2*n - 3)/((4*n^2 - 2*n - 1) + ... ))))). See A275651 for proof. Cf. A073743. - Peter Bala, Sep 02 2016
Equals Sum_{k >= 0} (-1)^k/A010050(k), where A010050(k) = (2k)! [See Gradshteyn and Ryzhik]. - A.H.M. Smeets, Sep 22 2018
Equals 1/A073448. - Alois P. Heinz, Jan 23 2023
From Gerry Martens, May 04 2024: (Start)
Equals (4*(cos(1/4)^4 + sin(1/4)^4) - 3).
Equals (16*(cos(1/4)^6 + sin(1/4)^6) - 10)/6. (End)

A030178 Decimal expansion of LambertW(1): the solution to x*exp(x) = 1.

Original entry on oeis.org

5, 6, 7, 1, 4, 3, 2, 9, 0, 4, 0, 9, 7, 8, 3, 8, 7, 2, 9, 9, 9, 9, 6, 8, 6, 6, 2, 2, 1, 0, 3, 5, 5, 5, 4, 9, 7, 5, 3, 8, 1, 5, 7, 8, 7, 1, 8, 6, 5, 1, 2, 5, 0, 8, 1, 3, 5, 1, 3, 1, 0, 7, 9, 2, 2, 3, 0, 4, 5, 7, 9, 3, 0, 8, 6, 6, 8, 4, 5, 6, 6, 6, 9, 3, 2, 1, 9, 4, 4, 6, 9, 6, 1, 7, 5, 2, 2, 9, 4, 5, 5, 7, 6, 3, 8
Offset: 0

Views

Author

Keywords

Comments

Sometimes called the Omega constant.
Infinite power tower for c = 1/E, i.e., c^c^c^..., where c = 1/A068985. - Stanislav Sykora, Nov 03 2013
Notice the narrow interval exp(-gamma) < w(1) < gamma, with gamma = A001620. - Jean-François Alcover, Dec 18 2013
Also the solution to x = -log(x). - Robert G. Wilson v, Feb 22 2014

Examples

			0.5671432904097838729999686622103555497538157871865125081351310792230457930866...
		

References

  • Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Section 6.11, p. 449.

Crossrefs

Cf. A276759 (another fixed point of -exp(z)).

Programs

Formula

Equals 1/A030797.
Equals (1/Pi) * Integral_{x=0..Pi} log(1 + sin(x)*exp(x*cot(x))/x) dx (Mező, 2020). - Amiram Eldar, Jul 04 2021

A073229 Decimal expansion of e^(1/e).

Original entry on oeis.org

1, 4, 4, 4, 6, 6, 7, 8, 6, 1, 0, 0, 9, 7, 6, 6, 1, 3, 3, 6, 5, 8, 3, 3, 9, 1, 0, 8, 5, 9, 6, 4, 3, 0, 2, 2, 3, 0, 5, 8, 5, 9, 5, 4, 5, 3, 2, 4, 2, 2, 5, 3, 1, 6, 5, 8, 2, 0, 5, 2, 2, 6, 6, 4, 3, 0, 3, 8, 5, 4, 9, 3, 7, 7, 1, 8, 6, 1, 4, 5, 0, 5, 5, 7, 3, 5, 8, 2, 9, 2, 3, 0, 4, 7, 0, 9, 8, 8, 5, 1, 1, 4, 2, 9, 5
Offset: 1

Views

Author

Rick L. Shepherd, Jul 22 2002

Keywords

Comments

e^(1/e) = 1/((1/e)^(1/e)) (reciprocal of A072364).
Let w(n+1)=A^w(n); then w(n) converges if and only if (1/e)^e <= A <= e^(1/e) (see the comments in A073230) for initial value w(1)=A. If A=e^(1/e) then lim_{n->infinity} w(n) = e. - Benoit Cloitre, Aug 06 2002; corrected by Robert FERREOL, Jun 12 2015
x^(1/x) is maximum for x = e and the maximum value is e^(1/e). This gives an interesting and direct proof that 2 < e < 4 as 2^(1/2) < e^(1/e) > 4^(1/4) while 2^(1/2) = 4^(1/4). - Amarnath Murthy, Nov 26 2002
For large n, A234604(n)/A234604(n-1) converges to e^(1/e). - Richard R. Forberg, Dec 28 2013
Value of the unique base b > 0 for which the exponential curve y=b^x and its inverse y=log_b(x) kiss each other; the kissing point is (e,e). - Stanislav Sykora, May 25 2015
Actually, there is another base with such property, b=(1/e)^e with kiss point (1/e,1/e). - Yuval Paz, Dec 29 2018
The problem of finding the maximum of f(x) = x^(1/x) was posed and solved by the Swiss mathematician Jakob Steiner (1796-1863) in 1850. - Amiram Eldar, Jun 17 2021

Examples

			1.44466786100976613365833910859...
		

References

  • David Wells, The Penguin Dictionary of Curious and Interesting Numbers. Penguin Books, NY, 1986, Revised edition 1987. See p. 35.

Crossrefs

Cf. A001113 (e), A068985 (1/e), A073230 ((1/e)^e), A072364 ((1/e)^(1/e)), A073226 (e^e).

Programs

  • Maple
    evalf[110](exp(exp(-1))); # Muniru A Asiru, Dec 29 2018
  • Mathematica
    RealDigits[ E^(1/E), 10, 110] [[1]]
  • PARI
    exp(1)^exp(-1)

Formula

Equals 1 + Integral_{x = 1/e..1} (1 + log(x))/x^x dx = 1 - Integral_{x = 0..1/e} (1 + log(x))/x^x dx. - Peter Bala, Oct 30 2019
Equals Sum_{k>=0} exp(-k)/k!. - Amiram Eldar, Aug 13 2020
Equals lim_{x->oo} (Sum_{n>=1} (x/n)^n)^(1/x) (Furdui, 2017). - Amiram Eldar, Mar 26 2022

A006526 Egyptian fraction for 1/e.

Original entry on oeis.org

3, 29, 15786, 513429610, 339840390654894740, 383515880462620946584018566350380249, 226890280396768133952782550246970728734549546771915172071782710229538300
Offset: 0

Views

Author

Keywords

References

  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Cf. A068985 (1/e).

Programs

  • Mathematica
    a = {}; k = N[1/E, 1000]; Do[s = Ceiling[1/k]; AppendTo[a, s]; k = k - 1/s, {n, 1, 10}]; a (* Artur Jasinski, Sep 22 2008 *)
Showing 1-10 of 101 results. Next