A PHP Error was encountered

Severity: Warning

Message: mkdir(): Permission denied

Filename: libraries/Common.php

Line Number: 202

Backtrace:

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 202
Function: mkdir

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 236
Function: getLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 585
Function: parseLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 425
Function: initBoardView

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
Line: 315
Function: require_once

A PHP Error was encountered

Severity: Warning

Message: file_put_contents(/DATA/upload/polymath/latex/6b5f771bd51b3b9023a538dedea4276f.gif): failed to open stream: No such file or directory

Filename: libraries/Common.php

Line Number: 213

Backtrace:

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 213
Function: file_put_contents

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 236
Function: getLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 585
Function: parseLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 425
Function: initBoardView

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
Line: 315
Function: require_once

A PHP Error was encountered

Severity: Warning

Message: mkdir(): Permission denied

Filename: libraries/Common.php

Line Number: 202

Backtrace:

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 202
Function: mkdir

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 236
Function: getLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 585
Function: parseLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 425
Function: initBoardView

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
Line: 315
Function: require_once

A PHP Error was encountered

Severity: Warning

Message: file_put_contents(/DATA/upload/polymath/latex/06f785e496cad4aa9de4e6e8c68f90fd.gif): failed to open stream: No such file or directory

Filename: libraries/Common.php

Line Number: 213

Backtrace:

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 213
Function: file_put_contents

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 236
Function: getLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 585
Function: parseLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 425
Function: initBoardView

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
Line: 315
Function: require_once

A PHP Error was encountered

Severity: Warning

Message: mkdir(): Permission denied

Filename: libraries/Common.php

Line Number: 202

Backtrace:

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 202
Function: mkdir

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 236
Function: getLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 585
Function: parseLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 425
Function: initBoardView

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
Line: 315
Function: require_once

A PHP Error was encountered

Severity: Warning

Message: file_put_contents(/DATA/upload/polymath/latex/0fe93bbcdd3dc9e8f165e7182091c38f.gif): failed to open stream: No such file or directory

Filename: libraries/Common.php

Line Number: 213

Backtrace:

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 213
Function: file_put_contents

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 236
Function: getLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 585
Function: parseLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 425
Function: initBoardView

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
Line: 315
Function: require_once

A PHP Error was encountered

Severity: Warning

Message: mkdir(): Permission denied

Filename: libraries/Common.php

Line Number: 202

Backtrace:

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 202
Function: mkdir

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 236
Function: getLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 585
Function: parseLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 425
Function: initBoardView

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
Line: 315
Function: require_once

A PHP Error was encountered

Severity: Warning

Message: file_put_contents(/DATA/upload/polymath/latex/06f785e496cad4aa9de4e6e8c68f90fd.gif): failed to open stream: No such file or directory

Filename: libraries/Common.php

Line Number: 213

Backtrace:

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 213
Function: file_put_contents

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 236
Function: getLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 585
Function: parseLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 425
Function: initBoardView

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
Line: 315
Function: require_once

A PHP Error was encountered

Severity: Warning

Message: mkdir(): Permission denied

Filename: libraries/Common.php

Line Number: 202

Backtrace:

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 202
Function: mkdir

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 236
Function: getLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 585
Function: parseLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 425
Function: initBoardView

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
Line: 315
Function: require_once

A PHP Error was encountered

Severity: Warning

Message: file_put_contents(/DATA/upload/polymath/latex/0fe93bbcdd3dc9e8f165e7182091c38f.gif): failed to open stream: No such file or directory

Filename: libraries/Common.php

Line Number: 213

Backtrace:

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 213
Function: file_put_contents

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
Line: 236
Function: getLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 585
Function: parseLatexImg

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
Line: 425
Function: initBoardView

File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
Line: 315
Function: require_once

자유게시판
수학을 주제로 떠들어 보세요!
[수학 정보] 매스파이의 소수 정리
매스파이 2021.08.03 01:10 조회 872

제가 n번째 소수의 근사값을 구하는 식을 발견했는데요.

P_n\simeq \sqrt{n^2+2n}\ln n(Pn은 n번째 소수. )

이 식의 정확도가 궁금해서 Octave,Wolfram Alpha를 이용해서 정확도를 게산해봤는데요

흠 꽤 정확도가 높더라고요

정확도 계산하는거를 좀 더 발전시키니 다음과 같은 식이 나왔습니다.

\lim_{n\rightarrow \infty}\frac{\sqrt{n^2+2n}\ln n}{P_n}

제가 울프럼 알파로 n에 1조를 대입해 봤는데 0.92 정도가 나왔어요.

제 생각에는 \lim_{n\rightarrow \infty}\frac{\sqrt{n^2+2n}\ln n}{P_n}=1인거 같은데 맞나요? 증명 또는 반증해주세요.

문제 해결 현황

2021.07.31 소수 공식 발견

2021.08.01 Octave로 정확도 계산

2021.08.01 \lim_{n\rightarrow \infty}\frac{\sqrt{n^2+2n}\ln n}{P_n}의 극한값이 궁금해졌고, \lim_{n\rightarrow \infty}\frac{\sqrt{n^2+2n}\ln n}{P_n}=1일 것 같다고 추측함(증명은 없습니다. 그냥 '그럴 것 같다' 고 생각해낸 것입니다. )

2021.08.02 게시글 올림

2021.08.04 이 추측을 '매스파이의 소수 정리' 라고 이름붙임.

2021.08.05 Scubed 님이 매스파이의 소수 정리와 관련된 명제를 증명하심.

2021.08.08 토론 게시판에 토론 글 올림.http://www.polymath.co.kr/contents/view/32218

  •  
    피카파이 Lv.8 2021.08.03 22:53

    이걸 증명하라는 소리는 (저에게는)제타함수를 구하라는 말 같이 들립니다.

    댓글 작성하기 좋아요0 댓글수0
  •  
    매스파이 Lv.8 2021.08.04 23:53

    이 추측을 '매스파이의 소수정리(Mathπ's Prime Number Theorem)' 라고 이름 붙이겠습니다.

    댓글 작성하기 좋아요1 댓글수1
    •  
      SON7 Lv.5 2021.08.05 01:59

      55 뭔진 모르겠지만 멋있네요

      좋아요0
  •  
    RTAI Lv.7 2021.08.05 19:22

    555555555555555555555555555555555555555555

    댓글 작성하기 좋아요0 댓글수0
  •  
    Scubed Lv.7 2021.08.06 08:24

    A PHP Error was encountered

    Severity: Warning

    Message: mkdir(): Permission denied

    Filename: libraries/Common.php

    Line Number: 202

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 202
    Function: mkdir

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: file_put_contents(/DATA/upload/polymath/latex/937f0aaaee229fc779300a7814f05e81.gif): failed to open stream: No such file or directory

    Filename: libraries/Common.php

    Line Number: 213

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 213
    Function: file_put_contents

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: mkdir(): Permission denied

    Filename: libraries/Common.php

    Line Number: 202

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 202
    Function: mkdir

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: file_put_contents(/DATA/upload/polymath/latex/5f0984b734670507fd26d6a617caa35b.gif): failed to open stream: No such file or directory

    Filename: libraries/Common.php

    Line Number: 213

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 213
    Function: file_put_contents

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: mkdir(): Permission denied

    Filename: libraries/Common.php

    Line Number: 202

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 202
    Function: mkdir

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: file_put_contents(/DATA/upload/polymath/latex/937f0aaaee229fc779300a7814f05e81.gif): failed to open stream: No such file or directory

    Filename: libraries/Common.php

    Line Number: 213

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 213
    Function: file_put_contents

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: mkdir(): Permission denied

    Filename: libraries/Common.php

    Line Number: 202

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 202
    Function: mkdir

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: file_put_contents(/DATA/upload/polymath/latex/04f2e0423efd1cd99fb7cab01619074d.gif): failed to open stream: No such file or directory

    Filename: libraries/Common.php

    Line Number: 213

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 213
    Function: file_put_contents

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: mkdir(): Permission denied

    Filename: libraries/Common.php

    Line Number: 202

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 202
    Function: mkdir

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: file_put_contents(/DATA/upload/polymath/latex/7b05081426d15b4b4029dd14a8c47ef0.gif): failed to open stream: No such file or directory

    Filename: libraries/Common.php

    Line Number: 213

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 213
    Function: file_put_contents

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: mkdir(): Permission denied

    Filename: libraries/Common.php

    Line Number: 202

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 202
    Function: mkdir

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: file_put_contents(/DATA/upload/polymath/latex/1816d8c775cdb015985a3ae1fe2a6181.gif): failed to open stream: No such file or directory

    Filename: libraries/Common.php

    Line Number: 213

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 213
    Function: file_put_contents

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: mkdir(): Permission denied

    Filename: libraries/Common.php

    Line Number: 202

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 202
    Function: mkdir

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: file_put_contents(/DATA/upload/polymath/latex/2ca3aea325f63a14340205d83227d0fd.gif): failed to open stream: No such file or directory

    Filename: libraries/Common.php

    Line Number: 213

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 213
    Function: file_put_contents

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: mkdir(): Permission denied

    Filename: libraries/Common.php

    Line Number: 202

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 202
    Function: mkdir

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: file_put_contents(/DATA/upload/polymath/latex/f4b924e0e2fc94b729e11234857ea4c3.gif): failed to open stream: No such file or directory

    Filename: libraries/Common.php

    Line Number: 213

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 213
    Function: file_put_contents

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: mkdir(): Permission denied

    Filename: libraries/Common.php

    Line Number: 202

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 202
    Function: mkdir

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: file_put_contents(/DATA/upload/polymath/latex/a2f25b2696a54bcad19cf6a6bc936342.gif): failed to open stream: No such file or directory

    Filename: libraries/Common.php

    Line Number: 213

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 213
    Function: file_put_contents

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: mkdir(): Permission denied

    Filename: libraries/Common.php

    Line Number: 202

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 202
    Function: mkdir

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    A PHP Error was encountered

    Severity: Warning

    Message: file_put_contents(/DATA/upload/polymath/latex/937f0aaaee229fc779300a7814f05e81.gif): failed to open stream: No such file or directory

    Filename: libraries/Common.php

    Line Number: 213

    Backtrace:

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 213
    Function: file_put_contents

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
    Line: 236
    Function: getLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
    Line: 90
    Function: parseLatexImg

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
    Line: 343
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
    Line: 558
    Function: view

    File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
    Line: 315
    Function: require_once

    저 공식을 증명한 건 아니고 이상한 걸 증명했는데 뭐냐면

     

    '매파의 소수정리'가 맞다면 최고차항의 계수가 1인 f(n)에 대해서 P_n\geq f(n)을 만족하는 f(n)의 차수는 2 미만이다.

     

    라는 괴상한 명제인데요, 대충 뭔 느낌이냐면

    매파의 소수정리가 맞다면 P_n\geq n^2-100, P_n\geq n^3-n^2, P_n\geq n^{2.5}-9n같은 부등식이 절대 성립할 수 없다는 것입니다.

    증명)

    매파의 소수정리가 맞다면 P_n=\sqrt{n^2+2n}\ln n\geq f(n)이므로

    \lim_{n\rightarrow \infty}\frac{\sqrt{n^2+2n}\ln n}{f(n)}\geq 1

    여기서 로피탈의 정리를 이용하면

    \lim_{n\rightarrow \infty}\frac{\sqrt{n^2+2n}\ln n}{f(n)}=\lim_{n\rightarrow \infty}\frac{\frac{\sqrt{n^2+2n}}{n}+\frac{(n+1)\ln n}{\sqrt{n^2+2n}}}{f'(n)}\lim_{n\rightarrow \infty}\frac{\sqrt{n^2+2n}\ln n}{f(n)}=\lim_{n\rightarrow \infty}\frac{\frac{\sqrt{n^2+2n}}{n}+\frac{(n+1)\ln n}{\sqrt{n^2+2n}}}{f'(n)}=\lim_{n\rightarrow \infty}\frac{\ln n+1}{f'(n)}\geq 1

    근데 여기서 f'(n)의 차수가 1이상이면 위 부등식이 성립하지 않습니다. 그러므로 f(n)의 차수는 2미만입니다. 사실 더 줄일 수는 있지만 의미가 없을 것 같네요.

    댓글 작성하기 좋아요0 댓글수2
    •  
      매스파이 Lv.8 2021.08.09 20:45

      A PHP Error was encountered

      Severity: Warning

      Message: mkdir(): Permission denied

      Filename: libraries/Common.php

      Line Number: 202

      Backtrace:

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
      Line: 202
      Function: mkdir

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
      Line: 236
      Function: getLatexImg

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
      Line: 200
      Function: parseLatexImg

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
      Line: 343
      Function: view

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
      Line: 558
      Function: view

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
      Line: 315
      Function: require_once

      A PHP Error was encountered

      Severity: Warning

      Message: file_put_contents(/DATA/upload/polymath/latex/04920943f76f43a00af7a25e3de27826.gif): failed to open stream: No such file or directory

      Filename: libraries/Common.php

      Line Number: 213

      Backtrace:

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
      Line: 213
      Function: file_put_contents

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/libraries/Common.php
      Line: 236
      Function: getLatexImg

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view_comment_list.php
      Line: 200
      Function: parseLatexImg

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/views/ver3/inc/view.php
      Line: 343
      Function: view

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/application/controllers/ver3/Contents.php
      Line: 558
      Function: view

      File: /volume1/web/PhpstormProjects/www_polymath_co_kr/index.php
      Line: 315
      Function: require_once


      P_n=\sqrt{n^2+2n}\ln n은 아니지 않나요?그렇게 되려면 n이 무한히 커져야 되는데요...

      좋아요0
    •  
      Scubed Lv.7 2021.08.10 00:16

      무한대로 보내면 1이라는 것이 매스파이의 정리이잖아요. 그러면 결국에 n을 무한대로 보내면은 로피탈의 정리를 사용해도 괜찮지 않을까요?

      좋아요0
  •  
수학동아 - 폴리매스
  • 폴리매스 문제는 과학기술진흥기금 및 복권기금의 재원으로 운영되고, 과학기술정보통신부와 한국과학창의재단의 지원을 받아 수행된 성과물로 우리나라의 과학기술 발전과 사회적 가치 증진에 기여하고 있습니다.

  • ☎문의 02-6749-3911