"소수 계량 함수"의 두 판 사이의 차이

편집 요약 없음
라고 생각했고, 이는 [[소수 정리]]에 해당한다. 이와 동치로서 다음 극한이 있다.
:<math>\lim_{x \to \infty} \frac{\pi(x)}{\text{li} (x)} = 1</math>
여기서 li는 [[로그 적분 함수]]를 의미한다. 1859년 [[베른하르트 리만]]이 도입한 [[리만 제타 함수]]의 성질을 이용하여 1896년에 [[자크 아다마르]]와 [[샤를장 들라발레푸생드 라 발레푸생]]({{llang|fr|Charles-Jean de la Vallée-Poussin}})이 각각 독립적으로 소수 정리를 증명하였다.
 
== 명시적 공식 ==