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 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 Modèle:OEIS).