円周率 1 への解答

提出日時: 2025年8月1日9:52 / 提出者: udonoisi

問題

問題文

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


解答

    1>1000/1001
両辺をpi倍して
pi>1000pi/1001