Constante de Backhouse

La constante de Backhouse est une constante mathématique portant le nom du mathématicien Nigel Backhouse. Sa valeur est d'environ 1,456 074 948.

Elle est définie via la série entière dont les coefficients sont les nombres premiers croissants :

et son inverse multiplicatif :

Alors:

[1].

L'existence de la limite a été conjecturée par Backhouse[2], et prouvée par Philippe Flajolet[3].

Références modifier

  1. suite A072508 de l'OEIS
  2. N. Backhouse, Formal reciprocal of a prime power series, coll. « unpublished note »,
  3. Philippe Flajolet, On the existence and the computation of Backhouse's constant, coll. « Unpublished manuscript »,
    Reproduced in Hsien-Kuei Hwang « Les cahiers de Philippe Flajolet » () (lire en ligne, consulté le )
    AofA 2014 - 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (lire en ligne)
    with Brigitte Vallée and Julien Clément

Bibliographie modifier