라마누잔-졸트너 상수 (Ramanujan-Soldner Constant) $\mu$는 다음을 만족시키는 양의 실수 로 정의합니다.

$$ {\rm li}(\mu) = \int_{0}^{\mu} \frac{1}{\ln t} dt = 0 $$