Li
The Logarithmic Integral
Calling Sequence
Parameters
Description
Examples
Li(x)
x
-
expression
The logarithmic integral, Li(x), is defined as:
Lix=PV⁢∫0x1lnt⁢ⅆt , x≥0
⁢⁢⁢=Ei⁡ln⁡x
where the integral is a Cauchy Principal Value integral.
This definition is extended to complex arguments z via the formula Li⁡x=Ei⁡ln⁡x. Note that the resulting branch cuts are the intervals −∞,0 and 0,1. However, since Li⁡x is defined as a Cauchy principal value integral, the values on the branch cuts are "isolated". That is, the complex function Li⁡z is not continuous onto the branch cuts from either above or below.
Li(x) provides an approximation to the number of primes less than or equal to x.
Li⁡x
Li⁡10.
6.165599505
Li⁡1000.
177.6096580
and the actual number of primes≤1000 is:
nops⁡select⁡isprime,`$`⁡1..1000
168
convert⁡Li⁡x,Ei
Ei⁡ln⁡x
Li⁡1.+I
0.6139116692+2.059584214⁢I
Li⁡0.5
−0.3786710431
Li⁡0.5+0.⁢I
−0.3786710431+3.141592654⁢I
Li⁡0.5−0.⁢I
−0.3786710431−3.141592654⁢I
Li⁡−3.123
−0.06158134361+4.063328884⁢I
See Also
convert
Ei
initialfunctions
NumberTheory[PrimeCounting]
Download Help Document