円周率って「3.76754…」とかじゃなくてよかったよな