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

:<math>\lim_{x \to \infty} \frac{\pi(x)}{\text{li} (x)} = 1</math>

여기서 li는 [[로그적분함수]](logarithmic integral function)를 의미한다. 1859년 [[리만]]이 소개한 [[리만 제타 함수]]의 성질을 이용하여 1896년에 [[자크 아다마르]]와 [[샤를르-장 드 라 발레-푸생]]이 각각 독립적으로 소수 정리를 증명하였다.

 

== π(''x''), ''x'' / ln ''x'', 및 li(''x'')의 수치적 계산 결과 ==

|}

 

 

== 주석 ==