現在、ポロロッカにアクセスがしづらい状況が発生しております。サーバー強化など応急処置は完了しておりますが、本格的な調査は2月ごろとなる見込みです。ご迷惑をおかけし、大変申し訳ございません。

円周率 1 への解答

提出日時: 2020年6月3日8:56 / 提出者: max_meig

問題

$\pi$ が $\dfrac{1000\pi}{1001}\risingdotseq 3.13845\cdots$ よりも大きいことを示せ

    1>1000/1001より、π>1000/1001*π