問題文

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

問題文

$\pi$ と $\sqrt{2}+\sqrt{3}$ はどちらが大きいか。

問題文

$\pi$ と $\dfrac{355}{113}$ はどちらが大きいか。ただし必要があれば積分

$$
\int_0^1\frac{x^8(1-x)^8(25+816x^2)}{3164(1+x^2)}dx
$$

を計算せよ。

解答形式

piまたは 355/113 で解答してください。