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