定積分
$$ \int_0^{\pi/2}\dfrac{\cos{x}-x}{1+\sin{x}}dx $$
を計算せよ。
半角数字で答えよ。無理数や記号等を用いる場合はTeX形式で入力せよ。
$\pi$ と $\dfrac{355}{113}$ はどちらが大きいか。ただし必要があれば積分
$$ \int_0^1\frac{x^8(1-x)^8(25+816x^2)}{3164(1+x^2)}dx $$
piまたは 355/113 で解答してください。
pi
355/113
$\pi$ と $\sqrt{2}+\sqrt{3}$ はどちらが大きいか。
$\pi$ が $\dfrac{1000\pi}{1001}\risingdotseq 3.13845\cdots$ よりも大きいことを示せ
