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

円周率 1 への解答

提出日時: 2020年6月2日12:11 / 提出者: halphy

問題

問題文

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

解答

    $1000\pi < 1001\pi$だから両辺を$1001$で割れば直ちに従う．