크라메르 추측

수론에서 크라메르 추측()은 소수 간극의 분포에 대한 가설이다.

정의 
번째 소수를 이라고 쓰자. 크라메르 추측에 따르면,

이다.

유도 
크라메르 추측은 소수의 분포에 대한 크라메르 모형()으로부터 유도된다. 크라메르 모형은 소수의 분포의 통계학적 모형이며, 이에 따르면 양의 정수 이 소수일 확률은 대략

이다 (인 경우의 확률은 임의로 고를 수 있다). 또한, 각 정수가 소수인지 여부는 독립 확률 변수로 여긴다.

이에 따르면, 크기가  이하인 소수들의 수의 기댓값은 대략

이며, 따라서 소수 정리를 얻는다.

크라메르 모형에서, 크라메르 추측은 거의 확실히 (즉, 확률 1로) 성립한다. 앤드루 그랜빌()은 작은 소수의 배수를 고려하여 크라메르 모형을 개량하였는데, 이에 따르면

이다. 여기서 는 오일러-마스케로니 상수이다.

부분적인 증명 
크라메르 추측은 현재 미해결 문제로 남아 있다. 크라메르 추측에 대한 원래 논문에서, 하랄드 크라메르는 리만 가설을 가정한다면

이라는 사실을 증명하였다. 1931년에 핀란드의 수학자 에리크 베스트쉰티우스()는

임을 증명하였다.

수치적 증거 
토머스 나이슬리()의 1999년 수치적 계산에 따르면, 매우 큰 소수들의 간극은 대략

을 만족시킨다.

역사 
하랄드 크라메르가 1936년에 통계적 모형을 바탕으로 추측하였다.

참고 문헌

외부 링크 
 
 

해석적 수론
소수에 관한 추측
수론의 미해결 문제