A174537 Partial sums of A000372.

2, 5, 11, 31, 199, 7780, 7836134, 2414689877132, 56130437231102247784920, 286386577668298411184599588898700746597286

Offset

0,1

Comments

Partial sums of Dedekind numbers. Partial sums of number of monotone Boolean functions of n variables (increasing functions from P(S), the set of subsets of S, to {0,1}). Partial sums of number of antichains of subsets of an n-set. The subsequence of primes in this partial sum begins: 2, 5, 11, 31, 199 is prime (5 in a row, then no more known).

Links

Table of n, a(n) for n=0..9.

Formula

a(n) = Sum_{i=0..n} A000372(i) = Sum_{i=0..n} (A014466(i) + 1) = Sum_{i=0..n} (A007153(i) + 2).

Example

a(4) = 2 + 3 + 6 + 20 + 168 = 199 is prime.

Crossrefs

Cf. A000372, A014466, A007153, A003182, A059119.

Sequence in context: A190865 A275427 A139464 * A101837 A124483 A079571

Adjacent sequences: A174534 A174535 A174536 * A174538 A174539 A174540

Keyword

nonn

Author

Jonathan Vos Post, Mar 21 2010

Extensions

a(9) from A000372 - Dmitry I. Ignatov, Nov 27 2023

Status

approved