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.

A307715 Decimal expansion of Sum_{t>0} log((t + 1)/t)^2.

Original entry on oeis.org

9, 7, 7, 1, 8, 9, 1, 8, 3, 2, 6, 8, 9, 3, 6, 5, 5, 4, 4, 5, 7, 8, 8, 5, 7, 4, 9, 4, 7, 6, 4, 3, 4, 7, 4, 8, 0, 7, 7, 3, 9, 2, 5, 0, 6, 4, 7, 4, 7, 2, 3, 9, 0, 1, 7, 7, 0, 2, 0, 9, 8, 9, 7, 5, 5, 3, 1, 8, 4, 4, 5, 2, 9, 3, 9, 2, 3, 9, 3, 3, 5, 6, 2, 9, 0, 1, 2, 3, 2, 1, 0, 7, 9, 7, 4, 3, 2, 0, 3, 3, 5, 9, 2, 3, 2
Offset: 0

Views

Author

Stefano Spezia, Apr 24 2019

Keywords

Comments

This constant appears at several places in the literature:
1) In the asymptotic formula of the number of minimal covering systems with exactly n elements (see Theorem 1.1 in Balister, Bollobás, Morris, Sahasrabudhe and Tiba) and
2) in the maximal size of the iterated divisor function
(see Theorem 1 in Buttkewitz, Elsholtz, Ford and Schlage-Puchta) and
3) in the maximal order of the iterated r_2 function, which counts the number of representations as sums of 2 squares (see Theorems 2.1. and 2.3 in Elsholtz, M. Technau and N. Technau). - Modified by C. Elsholtz, Apr 15 2025

Examples

			0.9771891832689365544578857494764347480773925064747239017702...
		

Crossrefs

Programs

  • Mathematica
    First[RealDigits[NSum[(Log[(t + 1)/t])^2, {t, 1, Infinity}, NSumTerms -> 100, Method -> {"NIntegrate", "MaxRecursion" -> 10}, WorkingPrecision -> 100]]]
  • PARI
    sumpos(t=1, log((t + 1)/t)^2) \\ Michel Marcus, Apr 26 2019

Formula

From Amiram Eldar, Jun 17 2023: (Start)
Equals 2 * Sum_{k>=1} H(k) * (zeta(k+1)-1) / (k+1), where H(k) = A001008(k)/A002805(k) is the k-th harmonic number.
Equals -Sum_{k>=1} zeta'(2*k) / k. (End)