A174537 Partial sums of A000372.

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

Offset: 0

Author

Jonathan Vos Post, Mar 21 2010

Keywords

• nonn

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).

Examples

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

Crossrefs

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

Formula

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

Extensions

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