Se define como: La integral logarítmica tiene una representación en forma de integral definida para todos los números reales positivostiene que ser interpretada utilizando el valor principal de Cauchy: La integral logarítmica desplazada o integral logarítmica euleriana es definida como o Como tal, esta representación integral tiene la ventaja de que evita la singularidad en el dominio de integración.Esta función tiene la propiedad de ser una buena aproximación del número de primos menores que un número dado, y por tanto, es la base del teorema de los números primos.mediante la ecuación que es válida para x > 1.Una serie más rápida en términos de convergencia fue dada por Ramanujan: La funcióntiene un cero simple positivo que se obtiene para el valor x ≈ 1.45136 92348 ...; este número es más conocido como la constante de Ramanujan-Soldner.li(2) ≈ 1.045163 780117 492784 844588 889194 613136 522615 578151… El comportamiento asintótico de la función cuando x → ∞ es dondeLa expansión asintótica completa es o Nótese, que como expansión asintótica, esta serie es no convergente.Esta es una aproximación razonable sólo si la serie se trunca para un número finito de términos, y sólo cuando se emplean valores paraLa integral logarítmica es importante en teoría de números, ya que es utilizada para hacer una estimación de la cantidad de números primos menores que un valor dado.Por ejemplo, el teorema de los números primos asegura que:denota la cantidad de números primos que hay para un valor menor o igual a
Integral logarítmica representada para valores
x
>2.
