•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
r53
r51
1[목차]
r53
2[include(틀:정수론)]
r51
3== 개요 ==
r53
41964년 수학자 윌런스(C. P. Willans)가 제안한 공식. n에 자연수를 대입하면 n번째 소수로 만드는 공식이로, 다음과 같다.
5>[math(p_{n}=\displaystyle 1+\sum_{i=1}^{2^{n}}\left \lfloor(\frac{n}{\sum_{i}^{j=1}\left \lfloor(\cos\pi\frac{(j-1)!+1}{j})^{2}\right \rfloor})^{\frac{1}{n}}\right \rfloor)]
6
7== 유도 ==
8먼저 [math(\frac{n}{\sum_{i}^{j=1})]는 어떤 자연수가 소수인지를 판별하는 역할이다. [[윌슨의 정리]]에 따르면