$\pi$ と $\sqrt{2}+\sqrt{3}$ はどちらが大きいか。
$\pi$ が $\dfrac{1000\pi}{1001}\risingdotseq 3.13845\cdots$ よりも大きいことを示せ
