この円周率を求める式どうよ?