The offset logarithmic integral, or European logarithmic integral, is a non-elementary function Li(x) differing by a constant from the logarithmic integral function li(x), defined such that:

Explicitly, this means

where ln is the natural logarithm. It can be shown that

or

It is often used in formulations of the prime number theorem.