$\pi$ が $\dfrac{1000\pi}{1001}\risingdotseq 3.13845\cdots$ よりも大きいことを示せ
$1000\pi < 1001\pi$だから両辺を$1001$で割れば直ちに従う．