hinu
公開日時: 2020年6月1日3:55 / ジャンル: 数学 / カテゴリ: 高校数学 / 難易度: / ジャッジ形式: ジャッジなし
$\pi$ が $\dfrac{1000\pi}{1001}\risingdotseq 3.13845\cdots$ よりも大きいことを示せ