ダウンロード

円周率は 3.05 より大きいことを証明せよ。