편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
33번째 줄: | 33번째 줄: | ||
=== 소수 계량 함수 === | === 소수 계량 함수 === | ||
{{ | {{참조|소수 계량 함수|소수 정리}} | ||
실수 <math>x>0</math>에 대해 <math>x</math>보다 작거나 같은 소수의 개수를 <math>\pi(x)</math>라고 하자. 이때 <math>\pi: \mathbb{R}_{>0} \to \mathbb{N}</math>를 소수 계량 함수라고 한다. 이때 다음 식이 성립한다는 것이 알려져 있다. | 실수 <math>x>0</math>에 대해 <math>x</math>보다 작거나 같은 소수의 개수를 <math>\pi(x)</math>라고 하자. 이때 <math>\pi: \mathbb{R}_{>0} \to \mathbb{N}</math>를 소수 계량 함수라고 한다. 이때 다음 식이 성립한다는 것이 알려져 있다. | ||
: <math>\lim_{x\to \infty}\frac{\pi(x)\ln x}{x}=1</math> | : <math>\lim_{x\to \infty}\frac{\pi(x)\ln x}{x}=1</math> |