https://mathworld.wolfram.com/LisCriterion.html


모든 자연수 n에 대해서 λ_n>0이면 리만가설이 참임


근데 링크에서 λ_n≈0.023n^2로 포물선에 대충 fit시킬 수 있다고 하는데 본인이 오늘 저 0.023의 정확한 값을 구해버림..


+이게 부분적인 증명인 이유: O(λ)=n^2임이 보장되지 않음..