Constante de Ramanujan-Soldner

La constante de Ramanujan-Soldner est le seul zéro strictement positif de la fonction logarithme intégral définie par ${\rm {li}}(x)=\int _{0}^{x}{\frac {\mathrm {d} t}{\ln t}}.$ Elle est nommée en référence à Srinivasa Ramanujan et Johann Georg von Soldner.

Approximation

Cette constante vaut approximativement 1,451369 (pour plus de chiffres, voir la suite A070769 de l'OEIS).

Voir aussi

Bibliographie

• J. Soldner, Théorie et tables d'une nouvelle fonction transcendante, Munich, Lindauer, 1809, 52 p. (lire en ligne), p. 42
• (la) Lorenzo Mascheroni, Adnotationes ad calculum integralem Euleri, Pavie, Petrus Galeatius, 1792 (lire en ligne), p. 17

Liens externes

(en) Eric W. Weisstein, « Soldner's Constant », sur MathWorld