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 A371134 #18 Sep 05 2025 12:03:01
%S A371134 1,6,9,7,9,0,7,8,1,9,7,7,9,6,2,5,0,6,4,4,6,4,2,4,0,8,9,9,6,5,3,4,7,8,
%T A371134 9,1,8,4,3,6,3,5,1,5,3,1,8,8,6,2,4,7,2,6,3,4,0,6,9,9,8,6,0,8,9,0,8,9,
%U A371134 5,4,1,2,9,0,6,1,4,3,9,7,7,3,9,2,0,3,0,0,8,6,5,3,4,4,7,1,8,7,7,5,2,9,5,0,4
%N A371134 Decimal expansion of Sum_{squarefree k>=1} k / 2^k.
%C A371134 Erdős (1981) conjectured and Chen and Ruzsa (1999) proved that this constant is irrational.
%H A371134 Thomas Bloom, <a href="https://www.erdosproblems.com/259">Is the sum Sum_{n} mu(n)^2 * n/2^n irrational?</a>, Erdős Problems.
%H A371134 Yong-Gao Chen and Imre Z. Ruzsa, <a href="https://doi.org/10.1023/A:1004742930674">On the irrationality of certain series</a>, Periodica Mathematica Hungarica, Vol. 38, No. 1 (1999), pp. 31-37.
%H A371134 Paul Erdős, <a href="https://users.renyi.hu/~p_erdos/1981-36.pdf">Sur l'irrationalité d'une certaine série</a>, C. R. Acad. Sci. Paris, Sér. 1, Vol. 292 (1981), pp. 765-768.
%H A371134 Terence Tao, <a href="https://github.com/teorth/erdosproblems/blob/main/README.md#table">Erdős problem database</a>, see no. 259.
%F A371134 Equals Sum_{k>=1} A005117(k) / 2^A005117(k).
%F A371134 Equals Sum_{k>=1} k * mu(k)^2 / 2^k.
%e A371134 1.69790781977962506446424089965347807016709423133847...
%t A371134 RealDigits[Sum[n/2^n, {n, Select[Range[1000], SquareFreeQ]}], 10, 120][[1]]
%Y A371134 Cf. A005117, A008683, A333182, A346173, A371135.
%K A371134 nonn,cons,changed
%O A371134 1,2
%A A371134 _Amiram Eldar_, Mar 12 2024