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.

A340319 Decimal expansion of sum of reciprocals of Dedekind numbers.

This page as a plain text file.
%I A340319 #10 Jan 07 2021 21:32:04
%S A340319 1,0,5,6,0,8,4,4,1,7,4,1,2,7,3,5,5,3,6,6,7,6,3
%N A340319 Decimal expansion of sum of reciprocals of Dedekind numbers.
%C A340319 The series 1/2 + 1/3 + 1/6 + 1/20 + 1/168 + 1/7581 + 1/7828354 + 1/2414682040998 + 1/56130437228687557907788 + ... converges to 1.0560844174127355366763... (since the number of monotone Boolean functions of n variables is strictly smaller than the number of monotone Boolean functions of (n + 1) variables and the limit of its reciprocal is zero as n approaches infinity).
%F A340319 Equals Sum_{k>=0} 1/A000372(k).
%e A340319 1.0560844174127355366763...
%Y A340319 Cf. A000372, A007153.
%K A340319 cons,nonn,more,hard
%O A340319 1,3
%A A340319 _Marco RipĂ _, Jan 04 2021