×

On a formula of T. Rivoal. (English) Zbl 1289.11067

Summary: In an unpublished 2005 paper [Polynômes de type Legendre et approximations de la constante d’Euler, Unpublished preprint (2005), http://www-fourier.ujf-grenoble.fr/~rivoal/articles/euler.pdf] T. Rivoal proved the formula \[ \frac 4\pi= \prod_{k \geq 2}\left( 1 + \frac 1 {k +1}\right)^{2\rho(k) \lfloor\log_2(k)-1\rfloor} \] where \(\lfloor x\rfloor\) denotes the (lower) integer part of the real number \(x\), and \(\rho(k)\) is the 4-periodic sequence defined by \(\rho(0) = 1\), \(\rho(1) =-1\), \(\rho(2)= \rho(3) = 0\). We show how a lemma in a 1988 paper of J. Shallit and the author [Analytic number theory, Proc. Jap.-Fr. Symp., Tokyo/Jap. 1988, Lect. Notes Math. 1434, 19–30 (1990; Zbl 0711.11003)] allows us to prove that formula, as well as a family of similar formulas involving occurrences of blocks of digits in the base-\(B\) expansion of the integer \(k\), where \(B\) is an integer \(\geq 2\).

MSC:

11Y60 Evaluation of number-theoretic constants
11A63 Radix representation; digital problems
11A67 Other number representations

Citations:

Zbl 0711.11003

Online Encyclopedia of Integer Sequences:

Decimal expansion of 4/Pi.