東京大学「円周率が3.05よりも大きいことを証明せよ」