Constante de Backhouse

La constante de Backhouse est une constante mathématique nommée d'après 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 noté,

Alors:

[1].

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

Références

  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 (19 June 2014). « Les cahiers de Philippe Flajolet » dans AofA 2014 - 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms . Consulté le 18 mai 2021.

Lectures complémentaires

  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.