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).
FORMULA
EXAMPLE
a(4) = 2 + 3 + 6 + 20 + 168 = 199 is prime.
CROSSREFS
KEYWORD
nonn
AUTHOR
Jonathan Vos Post, Mar 21 2010
EXTENSIONS
a(9) from A000372 - Dmitry I. Ignatov, Nov 27 2023
STATUS
approved