Logarithmic integral function - Axioms of Choice

Processing math: 100%

Logarithmic integral function

Function

definiendum	$\mathrm{li}: \mathbb R_+\to \mathbb R_+$
definiendum	$\mathrm{li}(x) := \int_0^x \frac{1}{\ln(t)}\mathrm d t$

Discussion

Reference

Wikipedia: Logarithmic integral function

Parents

Subset of

ℝ valued function

Requirements

Cauchy principal value

Log In

Improvements of the human condition