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.
%I A174537 #7 Nov 27 2023 16:03:23 %S A174537 2,5,11,31,199,7780,7836134,2414689877132,56130437231102247784920, %T A174537 286386577668298411184599588898700746597286 %N A174537 Partial sums of A000372. %C A174537 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). %F A174537 a(n) = Sum_{i=0..n} A000372(i) = Sum_{i=0..n} (A014466(i) + 1) = Sum_{i=0..n} (A007153(i) + 2). %e A174537 a(4) = 2 + 3 + 6 + 20 + 168 = 199 is prime. %Y A174537 Cf. A000372, A014466, A007153, A003182, A059119. %K A174537 nonn %O A174537 0,1 %A A174537 _Jonathan Vos Post_, Mar 21 2010 %E A174537 a(9) from A000372 - _Dmitry I. Ignatov_, Nov 27 2023