円周率が有限桁数であるとでもいうのかい