最近は円周率が2.14になっているのか…