もしそうなら
円周率 = 1$